Structural Analysis of Petri Nets
From MaRDI portal
Publication:5496929
DOI10.1007/978-1-4471-4276-8_11zbMath1304.93053OpenAlexW189178486MaRDI QIDQ5496929
Carla Seatzu, Alessandro Giua, Maria Paola Cabasino
Publication date: 29 January 2015
Published in: Lecture Notes in Control and Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-1-4471-4276-8_11
Applications of graph theory (05C90) Discrete event control/observation systems (93C65) Applications of graph theory to circuits and networks (94C15)
Related Items
An optimization-based approach to assess non-interference in labeled and bounded Petri net systems, Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques, A comparative analysis of recent identification approaches for discrete-event systems, Lifted structural invariant analysis of Petri net product lines
