Advances in Petri Nets 1993 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540566892, 9783540476313

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Petri net tool overview 1992

Advances in Petri Nets 1993 - Lecture Notes in Computer Science ◽

10.1007/3-540-56689-9_44 ◽

1993 ◽

pp. 169-209 ◽

Author(s):

Frits Feldbrugge

Keyword(s):

Download Full-text

A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets

Advances in Petri Nets 1993 - Lecture Notes in Computer Science ◽

10.1007/3-540-56689-9_42 ◽

1993 ◽

pp. 126-147 ◽

Author(s):

J. Ezpeleta ◽

J. M. Couvreur ◽

M. Silva

Keyword(s):

New Technique ◽

Colored Petri Nets ◽

A New Technique

Download Full-text

Autonomous and timed continuous Petri nets

Advances in Petri Nets 1993 - Lecture Notes in Computer Science ◽

10.1007/3-540-56689-9_40 ◽

1993 ◽

pp. 71-90 ◽

Author(s):

René David ◽

Hassane Alla

Keyword(s):

Continuous Petri Nets

Download Full-text

Iterative decomposition and aggregation of Stochastic marked graph Petri nets

Advances in Petri Nets 1993 - Lecture Notes in Computer Science ◽

10.1007/3-540-56689-9_50 ◽

1993 ◽

pp. 325-349 ◽

Author(s):

Yao Li ◽

C. Murray Woodside

Keyword(s):

Iterative Decomposition ◽

Download Full-text

Generative families of positive invariants in Coloured nets sub-classes

Advances in Petri Nets 1993 - Lecture Notes in Computer Science ◽

10.1007/3-540-56689-9_39 ◽

1993 ◽

pp. 51-70 ◽

Author(s):

J. M. Couvreur ◽

S. Haddad ◽

J. F. Peyre

Download Full-text

The Devnet: A Petri net for discrete event simulation

Advances in Petri Nets 1993 - Lecture Notes in Computer Science ◽

10.1007/3-540-56689-9_41 ◽

1993 ◽

pp. 91-125 ◽

Author(s):

John B. Evans

Keyword(s):

Discrete Event Simulation ◽

Petri Net ◽

Discrete Event ◽

Event Simulation

Download Full-text

Constraints and extensions in a Calculus of EN systems

Advances in Petri Nets 1993 - Lecture Notes in Computer Science ◽

10.1007/3-540-56689-9_51 ◽

1993 ◽

pp. 350-370

Author(s):

Giorgio Michelis

Download Full-text

Parameterized reachability trees for Predicate/Transition nets

Advances in Petri Nets 1993 - Lecture Notes in Computer Science ◽

10.1007/3-540-56689-9_49 ◽

1993 ◽

pp. 301-324 ◽

Author(s):

Markus Lindqvist

Download Full-text

Saturation conditions for Stochastic Petri Nets

Advances in Petri Nets 1993 - Lecture Notes in Computer Science ◽

10.1007/3-540-56689-9_47 ◽

1993 ◽

pp. 267-280

Author(s):

R. Gouet ◽

F. Plo ◽

M. San Miguel ◽

B. Ycart

Keyword(s):

Stochastic Petri Nets

Download Full-text

Bounded self-stabilizing Petri nets

Advances in Petri Nets 1993 - Lecture Notes in Computer Science ◽

10.1007/3-540-56689-9_38 ◽

1993 ◽

pp. 26-50

Author(s):

Ludmila Cherkasova ◽

Rodney R. Howell ◽

Louis E. Rosier

Keyword(s):

Download Full-text