Control Synthesis of Petri Nets Based on S-Decreases

Authors:
Chen Haoxun
Affiliations:
Systems Engineering Institute, Xi‘an Jiaotong University, Xi‘an 710049, P.R. China
Venue:
Discrete Event Dynamic Systems
Year:
2000

Citing 3
Cited 4

Synthesis of feedback control logic for discrete manufacturing systems

Automatica (Journal of IFAC)
Feedback control of Petri nets based on place invariants

Automatica (Journal of IFAC)
A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net

Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets

A polynomial dynamic system approach to software design for attractivity requirement

Information Sciences: an International Journal
Supervisor synthesis for enforcing a class of generalized mutual exclusion constraints on petri nets

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Analysis of properties of petri synthesis net

TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Linear control of live marked graphs

Automatica (Journal of IFAC)

Quantified Score

Hi-index	0.00

Visualization

Abstract

A method for constructinga controller for a discrete event system modeled by a Petri netis presented in this paper. The control specification of thesystem is given by a set of linear inequality constraints definedon the marking of the net. The controller that forces the netto obey the constraints is an extended Petri net, which is synthesizedbased on minimal support S-decreases. The method can deal withgeneral Petri nets with uncontrollable transitions, and thenprovides a systematic way for synthesizing net-based controllersfor discrete event systems.