Symbolic Unfolding of Parametric Stopwatch Petri Nets

DOI10.1007/978-3-642-15643-4_22zbMath1305.68127OpenAlexW1504081416MaRDI QIDQ4931299

Claude Jard, Didier Lime, Bartosz Grabiec, Louis-Marie Traonouez, Olivier H. Roux

Publication date: 4 October 2010

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15643-4_22

zbMATH Keywords

parameterstime Petri netsunfoldingsymbolic methodsstopwatches

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Symbolic unfolding of parametric stopwatch Petri nets

Uses Software

• Romeo

This page was built for publication: Symbolic Unfolding of Parametric Stopwatch Petri Nets