NDLI: Petri net controller synthesis for discrete event systems using weighted inhibitor arc

Content Provider	IEEE Xplore Digital Library
Author	Weimin Wu Hongye Su Jianbo Hu Jian Chu Haifeng Zhai Haihong Wu
Copyright Year	2001
Description	Author affiliation: Nat. Lab. of Ind. Control Technol., Zhejiang Univ., Hangzhou, China (Weimin Wu)
Abstract	A Petri net (PN) with weighted inhibitor arc is exploited to solve the forbidden state problem of discrete event systems (DES). The forbidden state problem considered is described as the linear inequality constraint of the place marking. We first review the relevant work on the control of DES using inhibitor arcs. Then, the design of the PN controller is introduced with two steps. The first step of the design is to track the state of the system. Then, the weighted inhibitor arcs are exploited to disable the relative transitions in the case that the firing of these transitions will violate the constraints. A simple example of a discrete manufacturing system in the reported literature is used to show the detailed procedure of the controller synthesis and the advantages of the presented method.
Sponsorship	IEEE Robotics & Autom. Soc
Starting Page	3582
Ending Page	3587
File Size	593960
Page Count	6
File Format	PDF
ISBN	0780365763
ISSN	10504729
DOI	10.1109/ROBOT.2001.933173
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2001-05-21
Publisher Place	South Korea
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Control system synthesis Discrete event systems Inhibitors Equations Laboratories Industrial control Process control Manufacturing systems Automata Control theory
Content Type	Text
Resource Type	Article
Subject	Artificial Intelligence Control and Systems Engineering Electrical and Electronic Engineering Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Supervisory control of discrete event systems using enabling arc Petri nets

Optimal Petri Net Supervisors of Discrete Event Systems via Weighted and Data Inhibitor Arcs

Diagnosability of discrete event systems: a Petri net based approach

Prioritised synchronous composition of inhibitor arc petri nets. In: discrete event systems: analysis and control (2000).

Control of flexible-manufacturing workcells using extended Moore automata

State feedback control of des on the finite forbidden state problem

On the synthesis of a controllable supervisor for discrete processes modeled by temporal Petri nets

Design of a live and maximally permissive Petri net controller using the theory of regions

Enhancing the flexibility of algebraic deadlock avoidance policies through Petri net structural analysis

Petri net controller synthesis for discrete event systems using weighted inhibitor arc

Similar Documents

Supervisory control of discrete event systems using enabling arc Petri nets

Optimal Petri Net Supervisors of Discrete Event Systems via Weighted and Data Inhibitor Arcs

Diagnosability of discrete event systems: a Petri net based approach

Prioritised synchronous composition of inhibitor arc petri nets. In: discrete event systems: analysis and control (2000).

Control of flexible-manufacturing workcells using extended Moore automata

State feedback control of des on the finite forbidden state problem

On the synthesis of a controllable supervisor for discrete processes modeled by temporal Petri nets

Design of a live and maximally permissive Petri net controller using the theory of regions

Enhancing the flexibility of algebraic deadlock avoidance policies through Petri net structural analysis

Petri net controller synthesis for discrete event systems using weighted inhibitor arc