NDLI: Synthesis of Petri net controller based local incidence matrix

Content Provider	IEEE Xplore Digital Library
Author	Wang Shouguang Yan Gangfeng
Copyright Year	2004
Description	Author affiliation: Coll. of Electr. Eng., Zhejiang Univ., Hangzhou, China (Wang Shouguang; Yan Gangfeng)
Abstract	The problem of constructing a Petri net feedback controller, which enforces a set of generalized mutual exclusion constraints on the reachable marking of the plant modeled by Petri net, is discussed. A method, which is based on the concept of local incidence matrix that is an extension of incidence matrix of Petri nets, is presented. The approach can reduce the complexity of computing controller because it considers part of the plant only, not the entire plant. An example is given to show that the method in this paper is simpler and more efficient in computation than the one presented by Moody. The advantage of this method is more obvious, when the plant is a large system.
Starting Page	1758
Ending Page	1763
File Size	316501
Page Count	6
File Format	PDF
ISBN	0780385667
ISSN	1062922X
DOI	10.1109/ICSMC.2004.1399896
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2004-10-10
Publisher Place	Netherlands
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Control system synthesis Educational institutions Petri nets Discrete event systems State-space methods Adaptive control Power system modeling Concurrent computing Design methodology Control systems
Content Type	Text
Resource Type	Article

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

A Petri net based approach to design well behaved discrete event systems

A colored Petri net-based formal method for the design of control systems

A colored Petri net-based approach to the design of controllers

Forbidden State Avoidance Controller Synthesis for a Class of DES

Concurrent simulation of concurrent discrete systems

Condition/event net synthesis for discrete event control using partial language specifications

Modeling Admissible Behavior Using Event Signals

Controller synthesis by petri nets modeling.

Improving SystemC simulation through Petri net reductions

Synthesis of Petri net controller based local incidence matrix

Similar Documents

A Petri net based approach to design well behaved discrete event systems

A colored Petri net-based formal method for the design of control systems

A colored Petri net-based approach to the design of controllers

Forbidden State Avoidance Controller Synthesis for a Class of DES

Concurrent simulation of concurrent discrete systems

Condition/event net synthesis for discrete event control using partial language specifications

Modeling Admissible Behavior Using Event Signals

Controller synthesis by petri nets modeling.

Improving SystemC simulation through Petri net reductions

Synthesis of Petri net controller based local incidence matrix