Lecture Notes in Computer Science - Advances in Petri Nets 1987
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540180869, 9783540477433

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Fair processes

Lecture Notes in Computer Science - Advances in Petri Nets 1987 ◽

10.1007/3-540-18086-9_26 ◽

1987 ◽

pp. 181-195 ◽

Cited By ~ 2

Author(s):

Agathe Merceron

Download Full-text

Bibliography of Petri nets

Lecture Notes in Computer Science - Advances in Petri Nets 1987 ◽

10.1007/3-540-18086-9_32 ◽

1987 ◽

pp. 309-451 ◽

Cited By ~ 9

Author(s):

Stefan Drees ◽

Dominik Gomm ◽

Helmut Plünnecke ◽

Wolfgang Reisig ◽

Rolf Walter

Keyword(s):

Petri Nets

Download Full-text

On equivalent execution semantics of concurrent systems

Lecture Notes in Computer Science - Advances in Petri Nets 1987 ◽

10.1007/3-540-18086-9_21 ◽

1987 ◽

pp. 89-103 ◽

Cited By ~ 1

Author(s):

Ryszard Janicki ◽

Maciej Koutny

Keyword(s):

Concurrent Systems ◽

Execution Semantics

Download Full-text

On Petri nets with deterministic and exponentially distributed firing times

Lecture Notes in Computer Science - Advances in Petri Nets 1987 ◽

10.1007/3-540-18086-9_23 ◽

1987 ◽

pp. 132-145 ◽

Cited By ~ 146

Author(s):

M. Ajmone Marsan ◽

G. Chiola

Keyword(s):

Petri Nets

Download Full-text

Infinitary languages of Petri nets and logical sentences

Lecture Notes in Computer Science - Advances in Petri Nets 1987 ◽

10.1007/3-540-18086-9_28 ◽

1987 ◽

pp. 224-237 ◽

Cited By ~ 3

Author(s):

Elisabeth Pelz

Keyword(s):

Petri Nets

Download Full-text

Algebraic structure of flows of a regular coloured net

Lecture Notes in Computer Science - Advances in Petri Nets 1987 ◽

10.1007/3-540-18086-9_20 ◽

1987 ◽

pp. 73-88 ◽

Cited By ~ 8

Author(s):

Serge Haddad ◽

Claude Girault

Keyword(s):

Algebraic Structure

Download Full-text

Recent results on the complexity of problems related to Petri nets

Lecture Notes in Computer Science - Advances in Petri Nets 1987 ◽

10.1007/3-540-18086-9_19 ◽

1987 ◽

pp. 45-72 ◽

Cited By ~ 2

Author(s):

Rodney R. Howell ◽

Louis E. Rosier

Keyword(s):

Petri Nets

Download Full-text

Parallel systems specifications with coloured Petri nets and algebraic specifications

Lecture Notes in Computer Science - Advances in Petri Nets 1987 ◽

10.1007/3-540-18086-9_31 ◽

1987 ◽

pp. 293-308 ◽

Cited By ~ 48

Author(s):

Jacques Vautherin

Keyword(s):

Petri Nets ◽

Parallel Systems ◽

Coloured Petri Nets ◽

Algebraic Specifications

Download Full-text

Petri net models for the λ-calculus

Lecture Notes in Computer Science - Advances in Petri Nets 1987 ◽

10.1007/3-540-18086-9_25 ◽

1987 ◽

pp. 162-180

Author(s):

Erik Meijer

Keyword(s):

Petri Net

Download Full-text

Specification and properties of a cache coherence protocol model

Lecture Notes in Computer Science - Advances in Petri Nets 1987 ◽

10.1007/3-540-18086-9_17 ◽

1987 ◽

pp. 1-20 ◽

Cited By ~ 5

Author(s):

C. Girault ◽

C. Chatelain ◽

S. Haddad

Keyword(s):

Cache Coherence ◽

Cache Coherence Protocol

Download Full-text

Lecture Notes in Computer Science - Advances in Petri Nets 1987Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Fair processes

Bibliography of Petri nets

On equivalent execution semantics of concurrent systems

On Petri nets with deterministic and exponentially distributed firing times

Infinitary languages of Petri nets and logical sentences

Algebraic structure of flows of a regular coloured net

Recent results on the complexity of problems related to Petri nets

Parallel systems specifications with coloured Petri nets and algebraic specifications

Petri net models for the λ-calculus

Specification and properties of a cache coherence protocol model

Lecture Notes in Computer Science - Advances in Petri Nets 1987
Latest Publications