Decompositional Petri Net Reductions
From MaRDI portal
Publication:3605479
DOI10.1007/978-3-642-00255-7_24zbMath1211.68272MaRDI QIDQ3605479
Publication date: 24 February 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-00255-7_24
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Uses Software
Cites Work
- Decompositional Petri Net Reductions
- An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets
- Free Choice Petri Nets
- Computer Aided Verification
- Slicing Petri Nets with an Application to Workflow Verification
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item