How Petri net theory serves Petri net model checking: a survey

DOI10.1007/978-3-662-60651-3_2zbMath1464.68269OpenAlexW2990690886MaRDI QIDQ2032911

Karsten Schmidt

Publication date: 14 June 2021

Full work available at URL: https://doi.org/10.1007/978-3-662-60651-3_2

zbMATH Keywords

model checkingtrapssiphonsstate equationconflict clusterPetri net invariant

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)

This page was built for publication: How Petri net theory serves Petri net model checking: a survey