APN 1993 | Sciweavers

20

APN
1993
Springer

113views Artificial Intelligence» more APN 1993»

Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs

13 years 10 months ago

In this paper we show how to extend Coloured Petri Nets (CP-nets), with three new modelling primitives—place capacities, test arcs and inhibitor arcs. The new modelling primitiv...

Søren Christensen, Niels Damgaard Hansen

claim paper

Read More »

15

click to vote

APN
1993
Springer

85views Artificial Intelligence» more APN 1993»

Transient Analysis of Deterministic and Stochastic Petri Nets

13 years 10 months ago

Download www4.cs.uni-dortmund.de

This paper introduces an efﬁcient numerical algorithm for transient analysis of deterministic and stochastic Petri nets (DSPNs) and other discrete-event stochastic systems with ...

Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trived...

claim paper

Read More »

14

click to vote

APN
1993
Springer

82views Artificial Intelligence» more APN 1993»

Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations

13 years 10 months ago

Download iaaa.cps.unizar.es

José A. Bañares, Pedro R. Muro-Medra...

claim paper