DocumentCode
273678
Title
Petri net design language
Author
Chu, Yaohan
Author_Institution
Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
fYear
1988
fDate
29-31 Aug 1988
Firstpage
96
Lastpage
99
Abstract
A Petri net design language is presented that is based on the earlier Computer Design Language (CDL). The language should be able to handle large-scale nets with hundreds or thousands of places and transitions and to provide a simulation environment. An example is given to illustrate the language
Keywords
control system analysis; directed graphs; specification languages; CDL; Computer Design Language; Petri net design language; control system modelling; directed graphs; large-scale nets; simulation environment; Computational modeling; Computer languages; Computer science; Control system synthesis; Debugging; Educational institutions; Large-scale systems; Mathematical analysis; Petri nets; System analysis and design;
fLanguage
English
Publisher
ieee
Conference_Titel
Languages for Automation: Symbiotic and Intelligent Robots, 1988., IEEE Workshop on
Conference_Location
College Park, MD
Print_ISBN
0-8186-0890-0
Type
conf
DOI
10.1109/LFA.1988.24957
Filename
24957
Link To Document