In: 1988 IEEE Workshop on Languages for Automation: Symbiotic and Intelligent Robots, pages 96-99. Washington: IEEE Comput. Soc. Press, 1988.
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.