Lecture Notes in Computer Science - Application and Theory of Petri Nets 1995
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540600299, 9783540494089

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Efficient simulation of Thor nets

Lecture Notes in Computer Science - Application and Theory of Petri Nets 1995 ◽

10.1007/3-540-60029-9_52 ◽

1995 ◽

pp. 412-431 ◽

Cited By ~ 5

Author(s):

Stefan Schöf ◽

Michael Sonnenschein ◽

Ralf Wieting

Keyword(s):

Efficient Simulation

Download Full-text

A notion of equivalence for stochastic Petri nets

Lecture Notes in Computer Science - Application and Theory of Petri Nets 1995 ◽

10.1007/3-540-60029-9_39 ◽

1995 ◽

pp. 161-180 ◽

Cited By ~ 7

Author(s):

Peter Buchholz

Keyword(s):

Petri Nets ◽

Stochastic Petri Nets

Download Full-text

Parameterized reachability trees for algebraic Petri nets

Lecture Notes in Computer Science - Application and Theory of Petri Nets 1995 ◽

10.1007/3-540-60029-9_51 ◽

1995 ◽

pp. 392-411 ◽

Cited By ~ 5

Author(s):

Karsten Schmidt

Keyword(s):

Petri Nets

Download Full-text

Modular state space analysis of coloured Petri Nets

Lecture Notes in Computer Science - Application and Theory of Petri Nets 1995 ◽

10.1007/3-540-60029-9_41 ◽

1995 ◽

pp. 201-217 ◽

Cited By ~ 9

Author(s):

Søren Christensen ◽

Laure Petrucci

Keyword(s):

Petri Nets ◽

State Space ◽

Coloured Petri Nets ◽

Space Analysis ◽

State Space Analysis

Download Full-text

A refined view of the box algebra

Lecture Notes in Computer Science - Application and Theory of Petri Nets 1995 ◽

10.1007/3-540-60029-9_29 ◽

1995 ◽

pp. 1-20 ◽

Cited By ~ 11

Author(s):

Eike Best ◽

Maciej Koutny

Download Full-text

CAB: An environment for developing concurrent application

Lecture Notes in Computer Science - Application and Theory of Petri Nets 1995 ◽

10.1007/3-540-60029-9_38 ◽

1995 ◽

pp. 141-160 ◽

Cited By ~ 14

Author(s):

G. Bruno ◽

R. Agarwal ◽

A. Castella ◽

M. P. Pescarmona

Download Full-text

Parallel state space exploration for GSPN models

Lecture Notes in Computer Science - Application and Theory of Petri Nets 1995 ◽

10.1007/3-540-60029-9_40 ◽

1995 ◽

pp. 181-200 ◽

Cited By ~ 23

Author(s):

S. Caselli ◽

G. Conte ◽

P. Marenzoni

Keyword(s):

State Space ◽

Space Exploration ◽

State Space Exploration

Download Full-text

Markov Regenerative Stochastic Petri Nets with age type general transitions

Lecture Notes in Computer Science - Application and Theory of Petri Nets 1995 ◽

10.1007/3-540-60029-9_55 ◽

1995 ◽

pp. 471-489 ◽

Cited By ~ 8

Author(s):

Miklós Telek ◽

Andrea Bobbio

Keyword(s):

Petri Nets ◽

Stochastic Petri Nets

Download Full-text

An inspection model with minimal and major maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets

Lecture Notes in Computer Science - Application and Theory of Petri Nets 1995 ◽

10.1007/3-540-60029-9_48 ◽

1995 ◽

pp. 335-356

Author(s):

M. Molla-Hosseini ◽

R. M. Kerr ◽

R. B. Randall ◽

R. B. Platfoot

Keyword(s):

Petri Nets ◽

Flexible Manufacturing ◽

Stochastic Petri Nets ◽

Flexible Manufacturing Cell ◽

Manufacturing Cell ◽

Generalized Stochastic Petri Nets

Download Full-text

An algebraic semantics for hierarchical P/T nets

Lecture Notes in Computer Science - Application and Theory of Petri Nets 1995 ◽

10.1007/3-540-60029-9_33 ◽

1995 ◽

pp. 45-65 ◽

Cited By ~ 5

Author(s):

Twan Basten ◽

Marc Voorhoeve

Keyword(s):

Algebraic Semantics

Download Full-text

Lecture Notes in Computer Science - Application and Theory of Petri Nets 1995Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Efficient simulation of Thor nets

A notion of equivalence for stochastic Petri nets

Parameterized reachability trees for algebraic Petri nets

Modular state space analysis of coloured Petri Nets

A refined view of the box algebra

CAB: An environment for developing concurrent application

Parallel state space exploration for GSPN models

Markov Regenerative Stochastic Petri Nets with age type general transitions

An inspection model with minimal and major maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets

An algebraic semantics for hierarchical P/T nets

Lecture Notes in Computer Science - Application and Theory of Petri Nets 1995
Latest Publications