From UML to Petri Nets: The PCM-Based Methodology.
Salvatore DistefanoMarco ScarpaAntonio PuliafitoPublished in: IEEE Trans. Software Eng. (2011)
Keyphrases
- petri net
- sequence diagrams
- petri net model
- process model
- manufacturing systems
- discrete event systems
- service composition
- state machines
- stochastic petri net
- ims ld
- fuzzy petri net
- embedded real time systems
- software engineering
- discrete dynamical systems
- colored petri nets
- regression testing
- state machine
- artificial intelligence
- conceptual modeling
- knowledge acquisition
- object oriented