Modelling and analysis of hybrid supervisory systems. A Petri net approach.

zbMath1132.93001MaRDI QIDQ859370

Robert Valette, Emilia Villani, Paulo Eigi Miyagi

Publication date: 15 January 2007

Published in: Advances in Industrial Control (Search for Journal in Brave)

zbMATH Keywords

hybrid systems; Petri nets; object oriented paradigm

Mathematics Subject Classification ID

90B50: Management decision making, including multiple objectives

90B30: Production models

93A13: Hierarchical systems

93C65: Discrete event control/observation systems

93-02: Research exposition (monographs, survey articles) pertaining to systems and control theory

94C15: Applications of graph theory to circuits and networks

93-03: History of systems and control theory

Uses Software

• Uppaal2k