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/S0005117911090165MaRDI QIDQ650043zbMATH OpenOpenAlexFDO

Authors 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) Synthesis problems (93B50) Discrete event control/observation systems (93C65)

Recommendations

• Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method
• Distributing finite automata through Petri net synthesis
• The synthesis problem
• Supervisory control of concurrent systems. A Petri net structural approach.
• scientific article; zbMATH DE number 1836392

Cites work

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

Cited in

(2)

• Generating conditions for preserving the properties of controlled discrete event systems
• Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method

Describes a project that uses

Uses Software

• UMDES

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q650043)