5 search results - page 1 / 1 » A Brief Introduction to Coloured Petri Nets |
TACAS
1997
Springer
13 years 9 months ago
1997
Springer
APN
1997
Springer
13 years 9 months ago
1997
Springer
REX
1993
13 years 9 months ago
1993
APN
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We present an approach and associated computer tool support for conducting distributed state space exploration for Coloured Petri Nets (CPNs). The distributed state space...
JSI
1998
13 years 5 months ago
1998
Abstract. Category Theory is introduced as the mathematical model for object-oriented systems which are distributed, heterogeneous, real-time, embedded, and open-ended. Each object...