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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540631392, 9783540691877

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Transition systems of Elementary Net Systems with inhibitor arcs

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

10.1007/3-540-63139-9_43 ◽

1997 ◽

pp. 310-327 ◽

Cited By ~ 11

Author(s):

Marta Pietkiewicz-Koutny

Keyword(s):

Transition Systems

Download Full-text

Verification of siphons and traps for algebraic Petri nets

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

10.1007/3-540-63139-9_49 ◽

1997 ◽

pp. 427-446 ◽

Cited By ~ 5

Author(s):

Karsten Schmidt

Keyword(s):

Petri Nets

Download Full-text

Improved implementations via a new structural equivalence on labeled nets

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

10.1007/3-540-63139-9_33 ◽

1997 ◽

pp. 117-135

Author(s):

Wojciech Fraczak ◽

Elisabeth Pelz

Keyword(s):

Structural Equivalence

Download Full-text

Analysing bang & Olufsen's BeoLink® audio/video system using coloured Petri nets

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

10.1007/3-540-63139-9_47 ◽

1997 ◽

pp. 387-406 ◽

Cited By ~ 11

Author(s):

Søren Christensen ◽

Jens Bæk Jørgensen

Keyword(s):

Petri Nets ◽

Coloured Petri Nets ◽

Video System ◽

Audio Video

Download Full-text

Siphons, traps and high-level nets with infinite color domains

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

10.1007/3-540-63139-9_41 ◽

1997 ◽

pp. 271-289 ◽

Cited By ~ 1

Author(s):

Karsten Schmidt

Keyword(s):

High Level

Download Full-text

On the abstraction of coloured Petri Nets

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

10.1007/3-540-63139-9_29 ◽

1997 ◽

pp. 42-61 ◽

Cited By ~ 10

Author(s):

Charles Lakos

Keyword(s):

Petri Nets ◽

Coloured Petri Nets

Download Full-text

Efficient handling of Phase-type distributions in generalized stochastic Petri nets

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

10.1007/3-540-63139-9_36 ◽

1997 ◽

pp. 175-194 ◽

Cited By ~ 4

Author(s):

Serge Haddad ◽

Patrice Moreaux ◽

Giovanni Chiola

Keyword(s):

Petri Nets ◽

Stochastic Petri Nets ◽

Phase Type ◽

Phase Type Distributions ◽

Generalized Stochastic Petri Nets

Download Full-text

Teaching Coloured Petri Nets — a gentle introduction to formal methods in a distributed systems course

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

10.1007/3-540-63139-9_42 ◽

1997 ◽

pp. 290-309 ◽

Cited By ~ 3

Author(s):

Søren Christensen ◽

Kjeld H. Mortensen

Keyword(s):

Distributed Systems ◽

Petri Nets ◽

Formal Methods ◽

Coloured Petri Nets

Download Full-text

Verification of workflow nets

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

10.1007/3-540-63139-9_48 ◽

1997 ◽

pp. 407-426 ◽

Cited By ~ 254

Author(s):

W. M. P. Aalst

Keyword(s):

Workflow Nets

Download Full-text

Coupling asynchrony and interrupts: Place Chart Nets

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

10.1007/3-540-63139-9_44 ◽

1997 ◽

pp. 328-347 ◽

Cited By ~ 14

Author(s):

Michael Kishinevsky ◽

Jordi Cortadella ◽

Alex Kondratyev ◽

Luciano Lavagno ◽

Alexander Taubin ◽

...

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Transition systems of Elementary Net Systems with inhibitor arcs

Verification of siphons and traps for algebraic Petri nets

Improved implementations via a new structural equivalence on labeled nets

Analysing bang & Olufsen's BeoLink® audio/video system using coloured Petri nets

Siphons, traps and high-level nets with infinite color domains

On the abstraction of coloured Petri Nets

Efficient handling of Phase-type distributions in generalized stochastic Petri nets

Teaching Coloured Petri Nets — a gentle introduction to formal methods in a distributed systems course

Verification of workflow nets

Coupling asynchrony and interrupts: Place Chart Nets

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