On the Use of Coloured Petri Nets for Object-Oriented Design.

João Paulo Barros Luís Gomes

Published in: ICATPN (2004)

Keyphrases

object oriented design
coloured petri nets
formal specification
formal verification
object oriented systems
software design
object oriented
model checking
fuzzy logic
software engineering
knowledge acquisition
fine grained