Structure Theory of Petri Nets

DOI10.1007/978-3-642-38143-0_5zbMath1382.68148OpenAlexW46667192MaRDI QIDQ4924448

Harro Wimmel, Eike Best

Publication date: 31 May 2013

Published in: Transactions on Petri Nets and Other Models of Concurrency VII (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38143-0_5

Mathematics Subject Classification ID

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

Related Items (5)

Transformation of variants of Petri nets into context-dependent fusion grammars ⋮ Free-choice Nets with Home Clusters are Lucent ⋮ Synthesis and reengineering of persistent systems ⋮ A stochastic analysis of a network with two levels of service ⋮ Reduction using induced subnets to systematically prove properties for free-choice nets

This page was built for publication: Structure Theory of Petri Nets