Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets

DOI10.1007/978-3-642-40465-8_5zbMath1395.68197OpenAlexW2210345597MaRDI QIDQ2849443

Agata Półrola, Andrzej Zbrzezny, Agata Janowska, Wojciech Penczek

Publication date: 17 September 2013

Published in: Transactions on Petri Nets and Other Models of Concurrency VIII (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40465-8_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis

This page was built for publication: Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets