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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642136740, 9783642136757

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets

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

10.1007/978-3-642-13675-7_9 ◽

2010 ◽

pp. 125-144 ◽

Cited By ~ 1

Author(s):

Oleg Gusikhin ◽

Erica Klampfl

Keyword(s):

Supply Chain ◽

Petri Nets ◽

Process Planning ◽

Integrated Process ◽

Supply Chain Configuration ◽

Chain Configuration

Download Full-text

A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future

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

10.1007/978-3-642-13675-7_4 ◽

2010 ◽

pp. 39-42 ◽

Cited By ~ 2

Author(s):

Lars M. Kristensen

Keyword(s):

Petri Nets ◽

State Space ◽

Space Exploration ◽

Coloured Petri Nets ◽

State Space Exploration

Download Full-text

Petri Nets with Localities and Testing

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

10.1007/978-3-642-13675-7_3 ◽

2010 ◽

pp. 19-38

Author(s):

Jetty Kleijn ◽

Maciej Koutny

Keyword(s):

Petri Nets

Download Full-text

PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language

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

10.1007/978-3-642-13675-7_20 ◽

2010 ◽

pp. 318-327 ◽

Cited By ~ 17

Author(s):

L. M. Hillah ◽

F. Kordon ◽

L. Petrucci ◽

N. Trèves

Keyword(s):

Petri Net ◽

Markup Language ◽

Reference Implementation ◽

Petri Net Markup Language

Download Full-text

Wendy: A Tool to Synthesize Partners for Services

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

10.1007/978-3-642-13675-7_18 ◽

2010 ◽

pp. 297-307 ◽

Cited By ~ 11

Author(s):

Niels Lohmann ◽

Daniela Weinberg

Download Full-text

Separability in Persistent Petri Nets

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

10.1007/978-3-642-13675-7_15 ◽

2010 ◽

pp. 246-266 ◽

Cited By ~ 2

Author(s):

Eike Best ◽

Philippe Darondeau

Keyword(s):

Petri Nets

Download Full-text

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

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

10.1007/978-3-642-13675-7_10 ◽

2010 ◽

pp. 145-164 ◽

Cited By ~ 7

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

Download Full-text

A Characterization of Combined Traces Using Labeled Stratified Order Structures

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

10.1007/978-3-642-13675-7_8 ◽

2010 ◽

pp. 104-124

Author(s):

Dai Tri Man Lê

Keyword(s):

Order Structures

Download Full-text

New Algorithms for Deciding the Siphon-Trap Property

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

10.1007/978-3-642-13675-7_16 ◽

2010 ◽

pp. 267-286 ◽

Cited By ~ 10

Author(s):

Olivia Oanea ◽

Harro Wimmel ◽

Karsten Wolf

Keyword(s):

New Algorithms

Download Full-text

Canonical Transition Set Semantics for Petri Nets

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

10.1007/978-3-642-13675-7_7 ◽

2010 ◽

pp. 84-103 ◽

Cited By ~ 3

Author(s):

Yunhe Wang ◽

Li Jiao

Keyword(s):

Petri Nets ◽

Transition Set

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets

A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future

Petri Nets with Localities and Testing

PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language

Wendy: A Tool to Synthesize Partners for Services

Separability in Persistent Petri Nets

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

A Characterization of Combined Traces Using Labeled Stratified Order Structures

New Algorithms for Deciding the Siphon-Trap Property

Canonical Transition Set Semantics for Petri Nets

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