Hierarchical reachability graph generation for Petri nets

DOI10.1023/A:1020321222420zbMath1020.68058OpenAlexW1482993605MaRDI QIDQ1871862

Peter Buchholz, Peter Kemper

Publication date: 4 May 2003

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1020321222420

zbMATH Keywords

Petri netshierarchical structurereachability graphreachability setinvariant analysis

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Cycles and communicating classes in membrane systems and molecular dynamics ⋮ Nested-unit Petri nets

Uses Software

• APNN-Toolbox

This page was built for publication: Hierarchical reachability graph generation for Petri nets