APN 1993 | Sciweavers

16

APN
1993
Springer

113views Artificial Intelligence» more APN 1993»

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

13 years 9 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 »

13

click to vote

APN
1993
Springer

85views Artificial Intelligence» more APN 1993»

Transient Analysis of Deterministic and Stochastic Petri Nets

13 years 9 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 »

11

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 9 months ago

Download iaaa.cps.unizar.es

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

claim paper