A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling.

José Luis Garrido Miguel Gea

Published in: DSV-IS (2002)

Keyphrases

petri net
cooperative
sequence diagrams
petri net model
manufacturing systems
modeling language
web service composition
neural network
multi agent systems
software engineering
service composition
formal methods
ims ld
uml profile
fuzzy petri net