Transactions on Petri Nets and Other Models of Concurrency I - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540892861, 9783540892878
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Directed Unfolding of Petri Nets

2008 ◽  
pp. 172-198 ◽  
Author(s):  
Blai Bonet ◽  
Patrik Haslum ◽  
Sarah Hickmott ◽  
Sylvie Thiébaux
Keyword(s):  
Petri Nets

scholarly journals Model Driven Testing Based on Test History

2008 ◽  
pp. 134-151
Author(s):  
Isaac Corro Ramos ◽  
Alessandro Di Bucchianico ◽  
Lusine Hakobyan ◽  
Kees van Hee
Keyword(s):  
Model Driven ◽  
Model Driven Testing

scholarly journals TAPAs: A Tool for the Analysis of Process Algebras

2008 ◽  
pp. 54-70 ◽  
Author(s):  
Francesco Calzolai ◽  
Rocco De Nicola ◽  
Michele Loreti ◽  
Francesco Tiezzi
Keyword(s):  
Process Algebras

scholarly journals McMillan’s Complete Prefix for Contextual Nets

2008 ◽  
pp. 199-220 ◽  
Author(s):  
Paolo Baldan ◽  
Andrea Corradini ◽  
Barbara König ◽  
Stefan Schwoon

Time Recursive Petri Nets

2008 ◽  
pp. 104-118 ◽  
Author(s):  
Djaouida Dahmani ◽  
Jean-Michel Ilié ◽  
Malika Boukala
Keyword(s):  
Petri Nets
Load More ...
Sign in / Sign up

Export Citation Format

Share Document