From UML to Petri Nets for non functional Property Verification.

Frédéric Mallet Marie-Agnès Peraldi-Frati Charles André

Published in: IES (2006)

Keyphrases

production process
petri net model
petri net
sequence diagrams
object oriented
colored petri nets
concurrent systems
formal methods
software systems
software architecture
manufacturing systems
discrete dynamical systems
neural network
software development
software engineering
web services
knowledge base