scientific article; zbMATH DE number 1538046

zbMATH Open0960.68122MaRDI QIDQ4518902FDOQ4518902

Authors: Karsten Wolf 

Publication date: 3 December 2000

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

reachability analysis

Mathematics Subject Classification ID

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

Cited In (7)

• Solving high-level Petri games
• Multi-agent safety verification using symmetry transformations
• Stubborn versus structural reductions for Petri nets
• Individuals, populations and fluid approximations: a Petri net based perspective
• Symmetries in timed continuous Petri nets
• Lie symmetries applied to interval integration
• 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 Q4518902)