Transformation of Coloured Petri Nets to UML 2 Diagrams.

Ayman Yassin Hoda Hassan

Published in: WorldCIST (2) (2014)

Keyphrases

coloured petri nets
uml diagrams
software design
formal verification
software engineers
unified modeling language
design patterns
uml class diagrams
software engineering
constraint language
artificial intelligence
database systems
relational databases
fuzzy logic
xml schema