123
Voted
APN
15 years 4 months ago
1994 Springer 
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...
101
Voted
APN
15 years 4 months ago
1994 Springer 
This paper shows how Coloured Petri Nets (CP-nets) can be extended to support synchronous communication. We introduce coloured communication channels through which transitions are...
101
Voted
APN
15 years 4 months ago
1994 Springer
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...
90
Voted
APN
15 years 4 months ago
1994 Springer  |
Artificial Intelligence