Dynamic analysis of Petri net-based discrete systems

DOI10.1007/978-3-540-71560-3zbMath1121.93003OpenAlexW604233734MaRDI QIDQ885347

Andrei Karatkevich

Publication date: 8 June 2007

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-3-540-71560-3

zbMATH Keywords

discrete systemsPetri nets

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Fuzzy sets and logic (in connection with information, communication, or circuits theory) (94D05)

Related Items (1)

Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems

Uses Software

• SPIN
• PVM

This page was built for publication: Dynamic analysis of Petri net-based discrete systems