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

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540152040, 9783540393207

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The reachability problem for VAS

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

10.1007/3-540-15204-0_21 ◽

1985 ◽

pp. 376-391 ◽

Author(s):

Horst Müller

Keyword(s):

Reachability Problem

Download Full-text

Semantics of concurrent systems: A modular fixed-point trace approach

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

10.1007/3-540-15204-0_20 ◽

1985 ◽

pp. 353-375 ◽

Author(s):

A. Mazurkiewicz

Keyword(s):

Fixed Point ◽

Concurrent Systems

Download Full-text

The residue of vector sets with applications to decidability problems in petri nets

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

10.1007/3-540-15204-0_14 ◽

1985 ◽

pp. 234-258 ◽

Author(s):

Rüdiger Valk ◽

Matthias Jantzen

Keyword(s):

Download Full-text

PSI: A petri net based simulator for flexible manufacturing systems

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

10.1007/3-540-15204-0_1 ◽

1985 ◽

pp. 1-14 ◽

Author(s):

P. Alanche ◽

K. Benzakour ◽

F. Dollé ◽

P. Gillet ◽

P. Rodrigues ◽

...

Keyword(s):

Petri Net ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems

Download Full-text

On communication protocol modelling and design

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

10.1007/3-540-15204-0_16 ◽

1985 ◽

pp. 267-287 ◽

Author(s):

G. Juanole ◽

B. Algayres ◽

J. Dufau

Keyword(s):

Communication Protocol

Download Full-text

A lattice theoretic view of K-density

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

10.1007/3-540-15204-0_9 ◽

1985 ◽

pp. 139-153 ◽

Author(s):

C. Fernández ◽

P. S. Thiagarajan

Download Full-text

Frozen tokens and D-continuity: A study in relating system properties to process properties

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

10.1007/3-540-15204-0_4 ◽

1985 ◽

pp. 48-61 ◽

Author(s):

Eike Best ◽

Agathe Merceron

Keyword(s):

System Properties

Download Full-text

Stepwise construction of non-sequential software systems using a net-based specification language

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

10.1007/3-540-15204-0_18 ◽

1985 ◽

pp. 307-330 ◽

Author(s):

Bernd Krämer

Keyword(s):

Specification Language ◽

Software Systems

Download Full-text

On structural properties of generalized processes

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

10.1007/3-540-15204-0_17 ◽

1985 ◽

pp. 288-306 ◽

Author(s):

V. E. Kotov ◽

L. A. Cherkasova

Keyword(s):

Structural Properties ◽

Generalized Processes

Download Full-text

Csp-programs as nets with individual tokens

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

10.1007/3-540-15204-0_11 ◽

1985 ◽

pp. 169-196 ◽

Author(s):

Ursula Goltz ◽

Wolfgang Reisig

Download Full-text