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

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

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

2000 ◽  
pp. 43-62 ◽  
Author(s):  
Paolo Ballarini ◽  
Susanna Donatelli ◽  
Giuliana Franceschinis

LoLA A Low Level Analyser

2000 ◽  
pp. 465-474 ◽  
Author(s):  
Karsten Schmidt
Keyword(s):  
Low Level

scholarly journals Decidability of Properties of Timed-Arc Petri Nets

2000 ◽  
pp. 187-206 ◽  
Author(s):  
David de Frutos Escrig ◽  
Valentín Valero Ruiz ◽  
Olga Marroquín Alonso
Keyword(s):  
Petri Nets

Executing Transactions in Zero-Safe Nets

2000 ◽  
pp. 83-102 ◽  
Author(s):  
Roberto Bruni ◽  
Ugo Montanari

Verification of Timed and Hybrid Systems

2000 ◽  
pp. 39-42
Author(s):  
Kim Guldstrand Larsen
Keyword(s):  
Hybrid Systems

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

2000 ◽  
pp. 445-454 ◽  
Author(s):  
Jochen Beister ◽  
Gernot Eckstein ◽  
Ralf Wollowski
Keyword(s):  
Design Method

Pre- and Post-agglomerations for LTL Model Checking

2000 ◽  
pp. 387-408 ◽  
Author(s):  
Denis Poitrenaud ◽  
Jean-Francois Pradat-Peyre
Keyword(s):  
Model Checking ◽  
Ltl Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document