Extended Coloured Petri Nets and Its Application in Mixed-Mode System Modelling.

Yong Yao Yang Derek A. Linkens

Published in: EUROSIM (1995)

Keyphrases

mixed mode
coloured petri nets
formal verification
case study
end users
open source
knowledge sharing