NDLI: On minimal representations of Petri net languages

Content Provider	IEEE Xplore Digital Library
Author	Sreenivas, R.S.
Copyright Year	1963
Abstract	Given a measure of size of a labeled Petri net, we consider the existence of a procedure that takes as input a description of an arbitrary, labeled Petri net, and returns a description of a (possibly different) labeled Petri net with the smallest size that generates the same language as the input. We refer to such procedures as minimization procedures. In this note, we investigate the existence of minimization procedures for a variety of measures. We show that these procedures cannot exist for Petri net languages for a large class of measures. However, for families of Petri net languages where controllability (cf. ), and consequently language-containment, is decidable , there can be minimization procedures for a restricted class of measures. After showing that minimization procedures for a family of measures are intractable for languages generated by bounded Petri nets, it is argued that a similar conclusion has to be reached for any family of Petri net languages that includes the family of regular languages for which there are minimization procedures.
Sponsorship	IEEE Control Systems Society
Starting Page	799
Ending Page	804
Page Count	6
File Size	230539
File Format	PDF
ISSN	00189286
Volume Number	51
Issue Number	5
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2006-05-01
Publisher Place	U.S.A.
Access Restriction	One Nation One Subscription (ONOS)
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Rivers Discrete event systems Supervisory control Automata Control system synthesis Control systems Software packages Computer science Asynchronous transfer mode Process control supervisory control Discrete-event systems Petri nets
Content Type	Text
Resource Type	Article
Subject	Control and Systems Engineering Electrical and Electronic Engineering Computer Science Applications

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 deterministic Petri nets with regular specification languages

Probabilistic Supervisory Control of Probabilistic Discrete Event Systems

On minimal representations of Petri net languages

On Petri net models of infinite state supervisors

Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions

Supervisory Control of Discrete Event Systems using observers

Supervisory control of discrete event systems using enabling arc Petri nets

Non-blocking step state-feedback supervisory control of discrete event systems using Interpreted Petri nets

Weak Petri net languages in supervisory control

On minimal representations of Petri net languages

Similar Documents

Supervisory control of deterministic Petri nets with regular specification languages

Probabilistic Supervisory Control of Probabilistic Discrete Event Systems

On minimal representations of Petri net languages

On Petri net models of infinite state supervisors

Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions

Supervisory Control of Discrete Event Systems using observers

Supervisory control of discrete event systems using enabling arc Petri nets

Non-blocking step state-feedback supervisory control of discrete event systems using Interpreted Petri nets

Weak Petri net languages in supervisory control

On minimal representations of Petri net languages