Verification of Petri Nets with Read Arcs

DOI10.1007/978-3-642-32940-1_33zbMath1364.68294OpenAlexW1756000016MaRDI QIDQ2912697

Stefan Schwoon, César Rodríguez

Publication date: 25 September 2012

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-32940-1_33

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Non-atomic Transition Firing in Contextual Nets ⋮ Equivalence checking of Petri net models of programs using static and dynamic cut-points

Uses Software

• MiniSat
• Punf

This page was built for publication: Verification of Petri Nets with Read Arcs