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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540676935, 9783540449881

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Parametric Stochastic Well-Formed Nets and Compositional Modelling

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

10.1007/3-540-44988-4_5 ◽

2000 ◽

pp. 43-62 ◽

Cited By ~ 6

Author(s):

Paolo Ballarini ◽

Susanna Donatelli ◽

Giuliana Franceschinis

Download Full-text

LoLA A Low Level Analyser

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

10.1007/3-540-44988-4_27 ◽

2000 ◽

pp. 465-474 ◽

Cited By ~ 71

Author(s):

Karsten Schmidt

Keyword(s):

Low Level

Download Full-text

Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets

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

10.1007/3-540-44988-4_20 ◽

2000 ◽

pp. 346-366 ◽

Cited By ~ 4

Author(s):

Louise Lorentsen ◽

Lars Michael Kristensen

Keyword(s):

Petri Nets ◽

Coloured Petri Nets ◽

Flowmeter System

Download Full-text

Liveness Verification of Discrete Event Systems Modeled by n-Safe Ordinary Petri Nets

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

10.1007/3-540-44988-4_14 ◽

2000 ◽

pp. 227-243 ◽

Cited By ~ 10

Author(s):

Kevin X. He ◽

Michael D. Lemmon

Keyword(s):

Petri Nets ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems

Download Full-text

Decidability of Properties of Timed-Arc Petri Nets

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

10.1007/3-540-44988-4_12 ◽

2000 ◽

pp. 187-206 ◽

Cited By ~ 22

Author(s):

David de Frutos Escrig ◽

Valentín Valero Ruiz ◽

Olga Marroquín Alonso

Keyword(s):

Petri Nets

Download Full-text

Executing Transactions in Zero-Safe Nets

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

10.1007/3-540-44988-4_7 ◽

2000 ◽

pp. 83-102 ◽

Cited By ~ 9

Author(s):

Roberto Bruni ◽

Ugo Montanari

Download Full-text

Verification of Timed and Hybrid Systems

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

10.1007/3-540-44988-4_4 ◽

2000 ◽

pp. 39-42

Author(s):

Kim Guldstrand Larsen

Keyword(s):

Hybrid Systems

Download Full-text

CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers

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

10.1007/3-540-44988-4_25 ◽

2000 ◽

pp. 445-454 ◽

Cited By ~ 4

Author(s):

Jochen Beister ◽

Gernot Eckstein ◽

Ralf Wollowski

Keyword(s):

Design Method

Download Full-text

Pre- and Post-agglomerations for LTL Model Checking

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

10.1007/3-540-44988-4_22 ◽

2000 ◽

pp. 387-408 ◽

Cited By ~ 10

Author(s):

Denis Poitrenaud ◽

Jean-Francois Pradat-Peyre

Keyword(s):

Model Checking ◽

Ltl Model Checking

Download Full-text

Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets

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

10.1007/3-540-44988-4_13 ◽

2000 ◽

pp. 207-226 ◽

Cited By ~ 12

Author(s):

Steven Gordon ◽

Jonathan Billington

Keyword(s):

Petri Nets ◽

Coloured Petri Nets

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Parametric Stochastic Well-Formed Nets and Compositional Modelling

LoLA A Low Level Analyser

Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets

Liveness Verification of Discrete Event Systems Modeled by n-Safe Ordinary Petri Nets

Decidability of Properties of Timed-Arc Petri Nets

Executing Transactions in Zero-Safe Nets

Verification of Timed and Hybrid Systems

CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers

Pre- and Post-agglomerations for LTL Model Checking

Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets

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