How to calculate symmetries of Petri nets

DOI10.1007/s002360050002zbMath0948.68123OpenAlexW1974910756MaRDI QIDQ1972351

Karsten Schmidt

Publication date: 26 April 2000

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050002

zbMATH Keywords

symmetries of Petri nets

Mathematics Subject Classification ID

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

Related Items (6)

Individuals, populations and fluid approximations: a Petri net based perspective ⋮ Automata-driven partial order reduction and guided search for LTL model checking ⋮ Using approximation for the verification of token-scaling models ⋮ Solving high-level Petri games ⋮ A Programming Language for Spatial Distribution of Net Systems ⋮ Symmetries in timed continuous Petri nets

This page was built for publication: How to calculate symmetries of Petri nets