Application and theory of Petri nets, 1995 : 16th International Conference, Turin, Italy, June 26-30, 1995 : proceedings /
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[1995]
|
| Series: | Lecture notes in computer science ;
935. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- A Refined View of the Box Algebra / Eike Best and Maciej Koutny
- Distributed Algorithms and Causally Consistent Observations / Friedemann Mattern
- Petri Nets for Information Systems Modelling / Klaus Voss
- On Liveness in Extended non Self-Controlling Nets / K. Barkaoui, J.M. Couvreur and C. Dutheillet
- An Algebraic Semantics for Hierarchical P/T Nets / T. Basten and M. Voorhoeve
- A Petri Net based Environment for the Design of Event-driven Interfaces / R. Bastide and P. Palanque
- An Incremental Specification of a Hydroelectric Power Plant Control Systems using a Class of Modular Algebraic Nets / E. Battiston, O. Botti, E. Crivelli and F. De Cindio
- A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)[superscript 2] / E. Best, H. Fleischack, W. Fraczak, R.P. Hopkins, H. Klaudel and E. Pelz
- An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets / R. Brgan and D. Poitrenaud.