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/S0005117911090165zbMATH Open1230.93054OpenAlexW2045514553MaRDI QIDQ650043FDOQ650043

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

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

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)

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
• Supervisory control of the structured dynamic discrete-event systems
• Supervisor direct synthesis method for a structured discrete dynamical system

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

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)