Diagnosis Using Unfoldings of Parametric Time Petri Nets

DOI10.1007/978-3-642-15297-9_12zbMath1290.68094OpenAlexW4299612801MaRDI QIDQ3588090

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

Publication date: 10 September 2010

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-15297-9_12

zbMATH Keywords

parameterstime Petri netsdiagnosisunfoldingsupervision

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: Diagnosis Using Unfoldings of Parametric Time Petri Nets