Formal Verification of UML State Machine Diagrams Using Petri Nets.
Achraf LyazidiSalma MoulinePublished in: NETYS (2019)
Keyphrases
- formal verification
- petri net
- sequence diagrams
- state machine
- state machines
- class diagrams
- model checking
- finite state machines
- fault tolerant
- petri net model
- class diagram
- discrete event systems
- model checker
- colored petri nets
- stochastic petri net
- fuzzy petri net
- uml diagrams
- service composition
- temporal logic
- uml class diagrams
- artificial intelligence
- reactive systems
- control system
- neural network