Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study.
Irene BicchieraiGiacomo BucciLaura CarnevaliEnrico VicarioPublished in: IEEE Trans. Ind. Informatics (2013)
Keyphrases
- petri net
- sequence diagrams
- manufacturing systems
- discrete event systems
- petri net model
- state machines
- colored petri nets
- discrete dynamical systems
- fuzzy petri net
- embedded real time systems
- ims ld
- service composition
- process model
- software systems
- stochastic petri net
- modeling language
- concurrent systems
- programmable logic controller
- artificial intelligence
- uml profile
- software engineering
- object oriented