Title :
Petri net design language
Author_Institution :
Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
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;
Conference_Titel :
Languages for Automation: Symbiotic and Intelligent Robots, 1988., IEEE Workshop on
Conference_Location :
College Park, MD
Print_ISBN :
0-8186-0890-0
DOI :
10.1109/LFA.1988.24957
