Formal Transformation from UML Sequence Diagrams to Queueing Petri Nets.

Van-Doc Vu Trong-Bach Nguyen Quyet-Thang Huynh

Published in: SoMeT (2019)

Keyphrases

sequence diagrams
petri net
class diagrams
state machines
uml models
activity diagrams

petri net model
manufacturing systems
reactive systems
discrete event systems
unified modelling language

model based testing
service composition
fuzzy petri net
colored petri nets
class diagram

ims ld
process model
software development
case study
knowledge base