Transforming sources to petri nets: a way to analyze execution of parallel programs.
Jean-Baptiste VoronFabrice KordonPublished in: SimuTools (2008)
Keyphrases
- petri net
- petri net model
- concurrent processes
- manufacturing systems
- parallel execution
- discrete event systems
- service composition
- fuzzy petri net
- colored petri nets
- programmable logic controller
- state machines
- control flow
- process model
- stochastic petri net
- neural network
- ims ld
- concurrent systems
- workflow models
- computational intelligence
- artificial intelligence