390 search results - page 1 / 78 » Application of Coloured Petri Nets in System Development |
AC
2003
Springer
13 years 10 months ago
2003
Springer
Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and...
TACAS
1997
Springer
13 years 9 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
IEAAIE
1995
Springer
13 years 8 months ago
1995
Springer
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
APN
2003
Springer
13 years 10 months ago
2003
Springer
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. This paper deals with the parallel raytracing part of virtualreality system PROLAND, developed at the home institution of authors. It describes an actual implementation o...