Abstract: Colored Petri Net (CPN) is a graphical modeling language for simulation and modeling and for verification of discrete event systems. CPN allows developers to define a model in the form of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results