Canonical Transition Set Semantics for Petri Nets

DOI10.1007/978-3-642-13675-7_7zbMath1285.68115OpenAlexW1515229775MaRDI QIDQ3569863

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)

Related Items (2)

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

This page was built for publication: Canonical Transition Set Semantics for Petri Nets