APN
1993
Springer
13 years 12 months ago
1993
Springer
This paper introduces an efficient numerical algorithm for transient analysis of deterministic and stochastic Petri nets (DSPNs) and other discrete-event stochastic systems with ...
APN
1993
Springer
13 years 12 months ago
1993
Springer
APN
1994
Springer
13 years 12 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...
APN
1994
Springer
13 years 12 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...
APN
1994
Springer
13 years 12 months ago
1994
Springer
APN
1994
Springer
13 years 12 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...
AIED
1993
Springer
13 years 12 months ago
1993
Springer
AISC
1994
Springer
13 years 12 months ago
1994
Springer
This paper investigates some soundness conditions which have to be fulfilled in systems with coercions and generic operators. A result of Reynolds on unrestricted generic operators...
AISB
1994
Springer
13 years 12 months ago
1994
Springer
Selection methods in Evolutionary Algorithms, including Genetic Algorithms, Evolution Strategies ES and Evolutionary Programming, EP are compared by observing the rate of converge...
LATA
2010
Springer
13 years 12 months ago
2010
Springer
Automated reasoning about systems with infinite domains requires an extension of regular automata to infinite alphabets. Existing formalisms of such automata cope with the infinite...