Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way.
Rik EshuisPublished in: FM (2009)
Keyphrases
- structure preserving
- petri net
- reactive systems
- sequence diagrams
- state machines
- manufacturing systems
- discrete event systems
- petri net model
- fuzzy petri net
- dimensionality reduction
- service composition
- ims ld
- colored petri nets
- process model
- stochastic petri net
- fuzzy logic
- concurrent systems
- regression testing
- pattern recognition
- programmable logic controller