Back in time Petri nets

DOI10.1007/978-3-642-40229-6_7MaRDI QIDQ2842662zbMATH OpenOpenAlexFDO

Authors Thomas Chatain, Claude Jard

Publication date 16 August 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40229-6_7

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1361125
• A causal semantic for time Petri nets
• Towards a consistent semantics for unsafe time Petri nets
• Time processes for time Petri nets
• The use of partial-order technique for verification of time Petri nets

Cited in

(3)

• Combining free choice and time in Petri nets
• `True concurrency' semantics for time Petri nets with weak time and persistent atomic policies
• Decidable classes of unbounded Petri nets with time and urgency

This page was built for publication: Back in time Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842662)