Modeling UML sequence diagrams using extended Petri nets.
Nianhua YangHuiqun YuHua SunZhilin QianPublished in: Telecommun. Syst. (2012)
Keyphrases
- sequence diagrams
- petri net
- class diagrams
- state machines
- activity diagrams
- uml models
- petri net model
- colored petri nets
- manufacturing systems
- discrete event systems
- model based testing
- stochastic petri net
- class diagram
- unified modelling language
- fuzzy petri net
- service composition
- artificial intelligence
- ims ld
- process model
- intermediate representation
- image features