Formalization of petri nets with clocks.
Robert UzalDaniel RiescoGerman MontejanoGabriel VilallongaNarayan C. DebnathPublished in: J. Comput. Methods Sci. Eng. (2005)
Keyphrases
- petri net
- discrete event systems
- petri net model
- high level petri nets
- colored petri nets
- manufacturing systems
- fuzzy petri net
- service composition
- knowledge representation
- discrete dynamical systems
- process model
- ims ld
- concurrent systems
- artificial intelligence
- state machines
- neural network
- fuzzy logic
- sequence diagrams