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

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642136740, 9783642136757
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Petri Nets with Localities and Testing

2010 ◽  
pp. 19-38
Author(s):  
Jetty Kleijn ◽  
Maciej Koutny
Keyword(s):  
Petri Nets

Wendy: A Tool to Synthesize Partners for Services

2010 ◽  
pp. 297-307 ◽  
Author(s):  
Niels Lohmann ◽  
Daniela Weinberg

Separability in Persistent Petri Nets

2010 ◽  
pp. 246-266 ◽  
Author(s):  
Eike Best ◽  
Philippe Darondeau
Keyword(s):  
Petri Nets

The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification

2010 ◽  
pp. 145-164 ◽  
Author(s):  
Christine Choppy ◽  
Anna Dedova ◽  
Sami Evangelista ◽  
Silien Hong ◽  
Kais Klai ◽  
...  
Keyword(s):  
Large Scale ◽  
Database Systems ◽  
Distributed Database ◽  
Distributed Database Systems ◽  
Systems Modelling

New Algorithms for Deciding the Siphon-Trap Property

2010 ◽  
pp. 267-286 ◽  
Author(s):  
Olivia Oanea ◽  
Harro Wimmel ◽  
Karsten Wolf
Keyword(s):  
New Algorithms

Canonical Transition Set Semantics for Petri Nets

2010 ◽  
pp. 84-103 ◽  
Author(s):  
Yunhe Wang ◽  
Li Jiao
Keyword(s):  
Petri Nets ◽  
Transition Set
Load More ...
Sign in / Sign up

Export Citation Format

Share Document