DocumentCode
2461739
Title
Petri nets and programming: A survey
Author
Iordache, Marian V. ; Antsaklis, Panos J.
Author_Institution
Sch. of Eng. & Eng. Technol., LeTourneau Univ., Longview, TX, USA
fYear
2009
fDate
10-12 June 2009
Firstpage
4994
Lastpage
4999
Abstract
Petri nets and related models have been used for specification, analysis, and synthesis of programs. The paper contains a survey of several literature approaches and an examination of their relationship to Petri net modeling and supervisory control. The discussion is restricted to Petri net models in the class of place/transitions nets and the supervisory control of this class of models.
Keywords
Petri nets; formal specification; program diagnostics; programming; Petri net modeling; petri nets; program analysis; program specification; program synthesis; programming; supervisory control; Application software; Automata; Computer science; Concurrent computing; Control systems; Discrete event systems; Petri nets; Sections; Supervisory control; Vectors;
fLanguage
English
Publisher
ieee
Conference_Titel
American Control Conference, 2009. ACC '09.
Conference_Location
St. Louis, MO
ISSN
0743-1619
Print_ISBN
978-1-4244-4523-3
Electronic_ISBN
0743-1619
Type
conf
DOI
10.1109/ACC.2009.5159987
Filename
5159987
Link To Document