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
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;
Conference_Titel :
American Control Conference, 2009. ACC '09.
Conference_Location :
St. Louis, MO
Print_ISBN :
978-1-4244-4523-3
Electronic_ISBN :
0743-1619
DOI :
10.1109/ACC.2009.5159987
