Modeling and synthesis for supervisory control on Petri nets for distributed objects. II. A supervisor synthesis method for a set of general form sequences

DOI10.1134/S0005117911090165zbMath1230.93054OpenAlexW2045514553MaRDI QIDQ650043

A. A. Ambartsumyan

Publication date: 25 November 2011

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

Full work available at URL: https://doi.org/10.1134/s0005117911090165

zbMATH Keywords

Petri netsupervisor synthesislength of the discrete event methodstructured discrete event model

Mathematics Subject Classification ID

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

Related Items (1)

Generating conditions for preserving the properties of controlled discrete event systems

Uses Software

• UMDES

Cites Work

• Supervisor direct synthesis method for a structured discrete dynamical system
• Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method
• Supervisory control of the structured dynamic discrete-event systems
• Introduction to Discrete Event Systems

This page was built for publication: Modeling and synthesis for supervisory control on Petri nets for distributed objects. II. A supervisor synthesis method for a set of general form sequences