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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540613633, 9783540685050

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets

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

10.1007/3-540-61363-3_5 ◽

1996 ◽

pp. 73-92 ◽

Cited By ~ 2

Author(s):

Mohamed-Lyes Benalycherif ◽

Claude Girault

Keyword(s):

Structural Composition

Download Full-text

Asynchronous control device design by net model behavior simulation

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

10.1007/3-540-61363-3_27 ◽

1996 ◽

pp. 497-515 ◽

Cited By ~ 6

Author(s):

V. I. Varshavsky ◽

V. B. Marakhovsky

Keyword(s):

Control Device ◽

Device Design ◽

Behavior Simulation ◽

Asynchronous Control

Download Full-text

A new iterative numerical solution algorithm for a class of stochastic Petri Nets

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

10.1007/3-540-61363-3_18 ◽

1996 ◽

pp. 327-345

Author(s):

Werner Knaup

Keyword(s):

Numerical Solution ◽

Petri Nets ◽

Solution Algorithm ◽

Stochastic Petri Nets

Download Full-text

The SEA Language for system engineering and animation

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

10.1007/3-540-61363-3_17 ◽

1996 ◽

pp. 307-326 ◽

Cited By ~ 8

Author(s):

B. Kleinjohann ◽

E. Kleinjohann ◽

J. Tacken

Keyword(s):

System Engineering

Download Full-text

Covering step graph

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

10.1007/3-540-61363-3_28 ◽

1996 ◽

pp. 516-535 ◽

Cited By ~ 14

Author(s):

François Vernadat ◽

Pierre Azéma ◽

François Michel

Download Full-text

Modelling and analysis of distributed program execution in BETA using coloured Petri Nets

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

10.1007/3-540-61363-3_14 ◽

1996 ◽

pp. 249-268 ◽

Cited By ~ 7

Author(s):

Jens Bæk Jørgensen ◽

Kjeld Høyer Mortensen

Keyword(s):

Petri Nets ◽

Coloured Petri Nets ◽

Program Execution

Download Full-text

Asynchronous composition of high level Petri Nets: A quantitative approach

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

10.1007/3-540-61363-3_11 ◽

1996 ◽

pp. 192-211 ◽

Cited By ~ 6

Author(s):

Serge Haddad ◽

Patrice Moreaux

Keyword(s):

Petri Nets ◽

Quantitative Approach ◽

High Level

Download Full-text

Expected impulse rewards in Markov regenerative stochastic Petri nets

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

10.1007/3-540-61363-3_10 ◽

1996 ◽

pp. 172-191 ◽

Cited By ~ 4

Author(s):

Reinhard German ◽

Aad P. A. Moorsel ◽

Muhammad A. Qureshi ◽

William H. Sanders

Keyword(s):

Petri Nets ◽

Stochastic Petri Nets

Download Full-text

Temporal uncertainty and fuzzy-timing high-level Petri nets

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

10.1007/3-540-61363-3_2 ◽

1996 ◽

pp. 11-28 ◽

Cited By ~ 34

Author(s):

Tadao Murata

Keyword(s):

Petri Nets ◽

Temporal Uncertainty ◽

High Level

Download Full-text

On liveness and controlled siphons in Petri nets

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

10.1007/3-540-61363-3_4 ◽

1996 ◽

pp. 57-72 ◽

Cited By ~ 83

Author(s):

Kamel Barkaoui ◽

Jean-François Pradat-Peyre

Keyword(s):

Petri Nets

Download Full-text

Application and Theory of Petri Nets 1996 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets

Asynchronous control device design by net model behavior simulation

A new iterative numerical solution algorithm for a class of stochastic Petri Nets

The SEA Language for system engineering and animation

Covering step graph

Modelling and analysis of distributed program execution in BETA using coloured Petri Nets

Asynchronous composition of high level Petri Nets: A quantitative approach

Expected impulse rewards in Markov regenerative stochastic Petri nets

Temporal uncertainty and fuzzy-timing high-level Petri nets

On liveness and controlled siphons in Petri nets

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