Consistent timed semantics for nested Petri nets with restricted urgency

DOI10.1007/978-3-319-44878-7_1MaRDI QIDQ4603553zbMATH OpenOpenAlexFDO

Authors L. W. Dworzanski

Publication date 16 February 2018

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

Full work available at URL https://doi.org/10.1007/978-3-319-44878-7_1

zbMATH Keywords

nested Petri netstime Petri netstime semanticswell structured transition systems

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 1515290
• scientific article; zbMATH DE number 4143457
• Towards a consistent semantics for unsafe time Petri nets
• Decidable classes of unbounded Petri nets with time and urgency
• Nested Petri Nets for Adaptive Process Modeling

This page was built for publication: Consistent timed semantics for nested Petri nets with restricted urgency

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