From UML Towards Petri Nets to Specify and Verify.
Thouraya Bouabana-TebibelMounira BelmeskPublished in: ICINCO (1) (2004)
Keyphrases
- petri net
- sequence diagrams
- petri net model
- manufacturing systems
- discrete event systems
- colored petri nets
- state machines
- modeling language
- embedded real time systems
- software engineering
- fuzzy petri net
- stochastic petri net
- discrete dynamical systems
- ims ld
- service composition
- software development
- neural network
- fuzzy logic
- conceptual modeling
- software architecture
- state machine
- fuzzy reasoning