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

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540505808, 9783540460596

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

OBJSA Nets: a class of high-level nets having objects as domains

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

10.1007/3-540-50580-6_22 ◽

1988 ◽

pp. 20-43 ◽

Author(s):

E. Battiston ◽

F. Cindio ◽

G. Mauri

Keyword(s):

Download Full-text

An environment for object-oriented conceptual programming based on PROT nets

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

10.1007/3-540-50580-6_21 ◽

1988 ◽

pp. 1-19 ◽

Author(s):

Marco Baldassari ◽

Giorgio Bruno

Keyword(s):

Object Oriented

Download Full-text

On the implementation of Petri nets

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

10.1007/3-540-50580-6_40 ◽

1988 ◽

pp. 418-439 ◽

Author(s):

Dirk Taubner

Keyword(s):

Download Full-text

On the computation of structural synchronic invariants in P/T nets

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

10.1007/3-540-50580-6_39 ◽

1988 ◽

pp. 386-417 ◽

Author(s):

M. Silva ◽

J. M. Colom

Download Full-text

Some consequences of the decidability of the reachability problem for Petri nets

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

10.1007/3-540-50580-6_33 ◽

1988 ◽

pp. 266-282 ◽

Author(s):

J. L. Lambert

Keyword(s):

Reachability Problem

Download Full-text

On internal and external characterisations of PT-net building block behaviour

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

10.1007/3-540-50580-6_23 ◽

1988 ◽

pp. 44-61 ◽

Author(s):

Bernd Baumgarten

Keyword(s):

Download Full-text

Compositional semantics of pure place/transition systems

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

10.1007/3-540-50580-6_35 ◽

1988 ◽

pp. 307-330 ◽

Author(s):

Antoni Mazurkiewicz

Keyword(s):

Compositional Semantics ◽

Transition Systems

Download Full-text

Programming a closely coupled multiprocessor system with high level petri nets

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

10.1007/3-540-50580-6_28 ◽

1988 ◽

pp. 154-174 ◽

Author(s):

Georg Hartung

Keyword(s):

Multiprocessor System ◽

Download Full-text

The construction of EN systems from a given trace behaviour

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

10.1007/3-540-50580-6_27 ◽

1988 ◽

pp. 133-153 ◽

Author(s):

Peter Graubmann

Download Full-text

A survey on the decidability questions for classes of fifo nets

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

10.1007/3-540-50580-6_26 ◽

1988 ◽

pp. 106-132 ◽

Author(s):

A. Finkel ◽

L. Rosier

Download Full-text