scientific article; zbMATH DE number 1538046

MaRDI QIDQ4518902zbMATH OpenFDO

Authors Karsten Wolf

Publication date 3 December 2000

zbMATH Keywords

reachability analysis

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4213468
• scientific article; zbMATH DE number 1796126
• Symbolic reachability graph and partial symmetries
• scientific article; zbMATH DE number 1337889
• Manual and Automatic Exploitation of Symmetries in SPN Models

Cited in

(7)

• Stubborn versus structural reductions for Petri nets
• Multi-agent safety verification using symmetry transformations
• Symmetries in timed continuous Petri nets
• Individuals, populations and fluid approximations: a Petri net based perspective
• Solving high-level Petri games
• Modular rewritable Petri nets: an efficient model for dynamic distributed systems
• Lie symmetries applied to interval integration

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 Q4518902)