Modular Construction and Partial Order Semantics 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

9783540557678, 9783540472827

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Petri nets and their semantics

Modular Construction and Partial Order Semantics of Petri Nets - Lecture Notes in Computer Science ◽

10.1007/3-540-55767-9_2 ◽

1992 ◽

pp. 9-32

Keyword(s):

Petri Nets

Download Full-text

Parallel composition and deadlocking

Modular Construction and Partial Order Semantics of Petri Nets - Lecture Notes in Computer Science ◽

10.1007/3-540-55767-9_3 ◽

1992 ◽

pp. 33-73

Keyword(s):

Parallel Composition

Download Full-text

Action refinement and interval words

Modular Construction and Partial Order Semantics of Petri Nets - Lecture Notes in Computer Science ◽

10.1007/3-540-55767-9_5 ◽

1992 ◽

pp. 131-181

Keyword(s):

Action Refinement

Download Full-text

Action refinement and bisimulation

Modular Construction and Partial Order Semantics of Petri Nets - Lecture Notes in Computer Science ◽

10.1007/3-540-55767-9_6 ◽

1992 ◽

pp. 183-216

Keyword(s):

Action Refinement

Download Full-text

Partial order semantics for nets with capacities

Modular Construction and Partial Order Semantics of Petri Nets - Lecture Notes in Computer Science ◽

10.1007/3-540-55767-9_7 ◽

1992 ◽

pp. 217-238 ◽

Cited By ~ 4

Keyword(s):

Partial Order ◽

Partial Order Semantics

Download Full-text

Behaviour preserving refinement of places and transitions

Modular Construction and Partial Order Semantics of Petri Nets - Lecture Notes in Computer Science ◽

10.1007/3-540-55767-9_4 ◽

1992 ◽

pp. 75-129

Download Full-text

Introduction

Modular Construction and Partial Order Semantics of Petri Nets - Lecture Notes in Computer Science ◽

10.1007/3-540-55767-9_1 ◽

1992 ◽

pp. 1-7

Download Full-text

Concluding remarks

Modular Construction and Partial Order Semantics of Petri Nets - Lecture Notes in Computer Science ◽

10.1007/3-540-55767-9_8 ◽

1992 ◽

pp. 239-240

Download Full-text

Modular Construction and Partial Order Semantics of Petri Nets - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Petri nets and their semantics

Parallel composition and deadlocking

Action refinement and interval words

Action refinement and bisimulation

Partial order semantics for nets with capacities

Behaviour preserving refinement of places and transitions

Introduction

Concluding remarks

Modular Construction and Partial Order Semantics of Petri Nets - Lecture Notes in Computer Science
Latest Publications