Verifying properties of Ada designs using colored Petri nets
8th Computing in Aerospace Conference ; 1991 ; Baltimore , MD , U.S.A.
01.01.1991
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Traffic Signal Priority/Preemption Control with Colored Petri Nets
British Library Conference Proceedings | 2005
|Modeling and Simulation of Urban Traffic Network Using Colored Petri Nets
DOAJ | 2016
|Performance evaluation of a flexible manufacturing cell using colored Petri Nets.
BASE | 2002
|