Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization.
Henricus M. W. (Eric) VerbeekA. Johannes PretoriusWil M. P. van der AalstJarke J. van WijkPublished in: Trans. Petri Nets Other Model. Concurr. (2008)
Keyphrases
- petri net
- state space
- petri net model
- discrete event systems
- manufacturing systems
- markov chain
- colored petri nets
- service composition
- web service composition
- high level petri nets
- ims ld
- data analysis
- process model
- stochastic petri net
- markov decision processes
- fuzzy petri net
- concurrent systems
- dynamic programming