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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540581529, 9783540484622

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Petri nets with marking-dependent arc cardinality: Properties and analysis

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

10.1007/3-540-58152-9_11 ◽

1994 ◽

pp. 179-198 ◽

Cited By ~ 37

Author(s):

Gianfranco Ciardo

Keyword(s):

Petri Nets

Download Full-text

OR causality: Modelling and hardware implementation

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

10.1007/3-540-58152-9_31 ◽

1994 ◽

pp. 568-587 ◽

Cited By ~ 5

Author(s):

Alex Yakovlev ◽

Michael Kishinevsky ◽

Alex Kondratyev ◽

Luciano Lavagno

Keyword(s):

Hardware Implementation

Download Full-text

On combining the stubborn set method with the sleep set method

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

10.1007/3-540-58152-9_30 ◽

1994 ◽

pp. 548-567 ◽

Cited By ~ 6

Author(s):

Kimmo Varpaaniemi

Download Full-text

Symbolic, symmetry, and stubborn set searches

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

10.1007/3-540-58152-9_28 ◽

1994 ◽

pp. 511-530 ◽

Cited By ~ 3

Author(s):

Mikko Tiusanen

Download Full-text

Cooperative Nets

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

10.1007/3-540-58152-9_26 ◽

1994 ◽

pp. 471-490 ◽

Cited By ~ 47

Author(s):

C. Sibertin-Blanc

Download Full-text

Modelling the work flow of a nuclear waste management program

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

10.1007/3-540-58152-9_21 ◽

1994 ◽

pp. 376-395 ◽

Cited By ~ 2

Author(s):

Kjeld H. Mortensen ◽

Valerio Pinci

Keyword(s):

Waste Management ◽

Nuclear Waste ◽

Management Program ◽

Work Flow ◽

Nuclear Waste Management

Download Full-text

New structural invariants for Petri nets analysis

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

10.1007/3-540-58152-9_12 ◽

1994 ◽

pp. 199-218 ◽

Cited By ~ 5

Author(s):

J. M. Couvreur ◽

E. Paviot-Adet

Keyword(s):

Petri Nets ◽

Structural Invariants

Download Full-text

Probabilistic validation of a Remote Procedure Call protocol

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

10.1007/3-540-58152-9_5 ◽

1994 ◽

pp. 59-78 ◽

Cited By ~ 1

Author(s):

N. Bennacer ◽

G. Florin ◽

C. Fraize ◽

S. Natkin

Keyword(s):

Remote Procedure Call ◽

Procedure Call

Download Full-text

Liveness in bounded Petri nets which are covered by T-invariants

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

10.1007/3-540-58152-9_20 ◽

1994 ◽

pp. 358-375 ◽

Cited By ~ 27

Author(s):

Kurt Lautenbach ◽

Hanno Ridder

Keyword(s):

Petri Nets

Download Full-text

Simulation and analysis of a document storage system

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

10.1007/3-540-58152-9_25 ◽

1994 ◽

pp. 454-470

Author(s):

Gert Scheschonk ◽

Michael Timpe

Keyword(s):

Storage System ◽

Document Storage

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Petri nets with marking-dependent arc cardinality: Properties and analysis

OR causality: Modelling and hardware implementation

On combining the stubborn set method with the sleep set method

Symbolic, symmetry, and stubborn set searches

Cooperative Nets

Modelling the work flow of a nuclear waste management program

New structural invariants for Petri nets analysis

Probabilistic validation of a Remote Procedure Call protocol

Liveness in bounded Petri nets which are covered by T-invariants

Simulation and analysis of a document storage system

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