Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method

DOI10.1134/S0005117911080091zbMath1235.93097MaRDI QIDQ664298

A. A. Ambartsumyan

Publication date: 1 March 2012

Published in: Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

matrix representationcyclic procedure loopingdiscrete event modelingdistributed objectsstructured discrete event system (SDES2) modelsynthesize of supervisor

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Synthesis problems (93B50)

Related Items (2)

Discrete-event models of a railway network ⋮ Modeling and synthesis for supervisory control on Petri nets for distributed objects. II. A supervisor synthesis method for a set of general form sequences

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Supervisor direct synthesis method for a structured discrete dynamical system
• Reduction of constraints for controller synthesis based on safe Petri nets
• Supervisory control of the structured dynamic discrete-event systems
• Modular supervisory control of discrete-event systems
• Hierarchy and parallelism in Petri nets. I: Compositive Petri nets
• A general architecture for decentralized supervisory control of discrete-event systems
• Feedback control of Petri nets based on place invariants
• Introduction to Discrete Event Systems
• Synthesis of feedback control logic for a class of controlled Petri nets
• Supervisory Control of a Class of Discrete Event Processes

This page was built for publication: Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method