Petri net design language

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.<
>