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

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

11

(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 ◽

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 ◽

Author(s):

Peter Buchholz

Keyword(s):

Stochastic Petri Nets

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 ◽

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 ◽

Author(s):

S. Caselli ◽

G. Conte ◽

P. Marenzoni

Keyword(s):

State Space ◽

Space Exploration ◽

State Space Exploration

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 ◽

Author(s):

Karsten Schmidt

Keyword(s):

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 ◽

Author(s):

Søren Christensen ◽

Laure Petrucci

Keyword(s):

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 ◽

Author(s):

Eike Best ◽

Maciej Koutny

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 ◽

Author(s):

Miklós Telek ◽

Andrea Bobbio

Keyword(s):

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):

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 ◽

Author(s):

Twan Basten ◽

Marc Voorhoeve

Keyword(s):

Algebraic Semantics

Download Full-text