Canonical transition set semantics for Petri nets

DOI10.1007/978-3-642-13675-7_7zbMATH Open1285.68115OpenAlexW1515229775MaRDI QIDQ3569863FDOQ3569863

Authors: Yunhe Wang, Li Jiao 

Publication date: 22 June 2010

Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)

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

Recommendations

• Using transition set sequences to partition behaviors of Petri nets
• scientific article; zbMATH DE number 3974312
• scientific article; zbMATH DE number 1361137
• Dataflow semantics for Petri nets
• Formal Methods in Software and Systems Modeling

zbMATH Keywords

Petri netspartial order reductionstep semanticsstate space explorationcanonical transition set semantics

Mathematics Subject Classification ID

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

Cited In (4)

• On the semantics of place/transition Petri nets
• On the number of the rational zeros of linearized polynomials and the second-order nonlinearity of cubic Boolean functions
• A Canonical Contraction for Safe Petri Nets
• Using transition set sequences to partition behaviors of Petri nets

This page was built for publication: Canonical transition set semantics for Petri nets

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