Advances in Petri Nets 1992
The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - to encourage those interested in the applications and theory of concurrent systems to take a...
Other Authors: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1992, 1992
|
Edition: | 1st ed. 1992 |
Series: | Lecture Notes in Computer Science
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Esprit basic research action 3148 DEMON (Design methods based on nets) — Aims, scope and achievements —
- The box calculus: A new causal algebra with multi-label communication
- Modular functional modelling of petri nets with individual tokens
- Interleaving semantics and action refinement with atomic choice
- Maximality preservation and the ST-idea for action refinements
- A fifo-net model for processes with asynchronous communication
- A basic-net algebra for program semantics and its application to occam
- The effect of Vector synchronization: Residue and loss
- Modelling systems with dynamic priorities
- On distributed languages and models for concurrency
- Partial words versus processes: A short comparison
- A survey of basic net models and modular net classes
- Structural techniques and performance bounds of stochastic Petri net models
- A survey of recognizable languages of infinite traces
- A survey of equivalence notions for net based systems