Canonical transition set semantics for Petri nets

DOI10.1007/978-3-642-13675-7_7MaRDI QIDQ3569863zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(4)

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