Behavior relativity of Petri nets.

DOI10.1007/BF02960767zbMath1091.68551OpenAlexW2051063597MaRDI QIDQ1433955

Huaiqing Wang, Changjun Jiang, Shaoyi Liao

Publication date: 1 July 2004

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02960767

zbMATH Keywords

firing sequence

Mathematics Subject Classification ID

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

Cites Work

• Fair relation and modified synchronic distances in a Petri net
• Net operations
• Synthesis of a Class of Deadlock-Free Petri Nets
• Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis
• Real-time synchronisation of multiaxis high-speed machines, from SFC specification to Petri net verification
• Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions

This page was built for publication: Behavior relativity of Petri nets.