Bounded Parametric Model Checking for Elementary Net Systems

DOI10.1007/978-3-642-18222-8_3zbMath1312.68135OpenAlexW1629194360MaRDI QIDQ3066133

MacIej Szreter, Wojciech Penczek, Michał Knapik

Publication date: 8 January 2011

Published in: Transactions on Petri Nets and Other Models of Concurrency IV (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-18222-8_3

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: Bounded Parametric Model Checking for Elementary Net Systems