From Many Places to Few: Automatic Abstraction Refinement for Petri Nets.
Pierre GantyJean-François RaskinLaurent Van BeginPublished in: ICATPN (2007)
Keyphrases
- petri net
- petri net model
- manufacturing systems
- high level petri nets
- discrete event systems
- concurrent processes
- fuzzy petri net
- service composition
- colored petri nets
- stochastic petri net
- concurrent systems
- ims ld
- sequence diagrams
- discrete dynamical systems
- artificial intelligence
- business processes
- expert systems