scientific article; zbMATH DE number 4213468

MaRDI QIDQ3359783zbMATH OpenFDO

Authors Peter H. Starke

Publication date 1991

zbMATH Keywords

coloured Petri netsplace/transition nets

Mathematics Subject Classification ID

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

Recommendations

• Symmetry in Petri nets
• Symbolic analysis of bounded Petri nets
• scientific article; zbMATH DE number 2112159
• Symmetries in timed continuous Petri nets
• Symbolic Reachability Analysis of Integer Timed Petri Nets
• Reachability analysis in T-invariant-less petri nets
• How to calculate symmetries of Petri nets
• Symbolic execution of concurrent systems using Petri nets
• scientific article; zbMATH DE number 6719540
• On the reachability and reversibility problems in a class of Petri nets

Cited in

(21)

• A symbolic reachability graph for coloured Petri nets
• Star-topology decoupled state space search
• How to calculate symmetries of Petri nets
• Canonical representations for direct generation of strategies in high-level Petri games
• Solving high-level Petri games
• Computational complexity of the place/transition-net symmetry reduction method
• scientific article; zbMATH DE number 6719540 (Why is no real title available?)
• Individuals, populations and fluid approximations: a Petri net based perspective
• scientific article; zbMATH DE number 4201654 (Why is no real title available?)
• scientific article; zbMATH DE number 1337889 (Why is no real title available?)
• Les Symétries dans les Réseaux de Petri Stochastiques (RdPS) Construction du Graphe Symbolique
• scientific article; zbMATH DE number 1538046 (Why is no real title available?)
• scientific article; zbMATH DE number 2112159 (Why is no real title available?)
• Topological reverse mirroring: a new efficient knowledge-based methodology of reachability analysis for Petri nets
• Symbolic reachability graph and partial symmetries
• Parameterized reachability trees for algebraic Petri nets
• Symmetry in Petri nets
• Applications and Theory of Petri Nets 2004
• Computational complexity of computing symmetries in finite-domain planning
• Star-Topology Decoupling in SPIN
• Modular rewritable Petri nets: an efficient model for dynamic distributed systems

This page was built for publication:

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