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

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540687450, 9783540687467
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Practical Approach to Verification of Mobile Systems Using Net Unfoldings

2008 ◽  
pp. 327-347 ◽  
Author(s):  
Roland Meyer ◽  
Victor Khomenko ◽  
Tim Strazny
Keyword(s):  
Mobile Systems ◽  
Practical Approach

Labeled Step Sequences in Petri Nets

2008 ◽  
pp. 270-287 ◽  
Author(s):  
Matthias Jantzen ◽  
Georg Zetzsche
Keyword(s):  
Petri Nets

scholarly journals Faster Unfolding of General Petri Nets Based on Token Flows

2008 ◽  
pp. 13-32 ◽  
Author(s):  
Robin Bergenthum ◽  
Robert Lorenz ◽  
Sebastian Mauser
Keyword(s):  
Petri Nets

HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets

2008 ◽  
pp. 419-428 ◽  
Author(s):  
Fausto Sessego ◽  
Alessandro Giua ◽  
Carla Seatzu
Keyword(s):  
Petri Nets ◽  
Hybrid Petri Nets

scholarly journals Hierarchical Set Decision Diagrams and Automatic Saturation

2008 ◽  
pp. 211-230 ◽  
Author(s):  
Alexandre Hamez ◽  
Yann Thierry-Mieg ◽  
Fabrice Kordon
Keyword(s):  
Decision Diagrams
Load More ...
Sign in / Sign up

Export Citation Format

Share Document