Advances in Petri nets, 1987 /
The aim of these series of volumes "Advances in Petri Nets" is to present to the general computer science community the most significant recent results with regard to the development in the area. The main source of the papers are the annual European Workshops on Applications and Theory of...
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
1987.
|
| Series: | Lecture notes in computer science ;
266. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- C. Girault, C. Chatelain, S. Haddad: Specification and properties of a cache coherence protocol model
- F. De Cindio, G. De Michelis, C. Simone: GAMERU: A language for the analysis and design of human communication pragmatics within organizational systems
- R.R. Howell, L.E. Rosier: Recent results on the complexity of problems related to Petri nets
- S. Haddad, C. Girault: Algebraic structure of flows of a regular coloured net
- R. Janicki, M. Koutny: On equivalent execution semantics of concurrent systems
- F. Krckeberg, M. Jaxy: Mathematical methods for calculating invariants in Petri nets
- M. Ajmone Marsan, G. Chiola: On Petri nets with deterministic and exponentially distributed firing times
- M. Ajmone Marsan, G. Chiola, A. Fumagalli: An accurate performance model of CSMA/CD bus LAN
- E. Meijer: Petri net models for the -calculus
- A. Merceron: Fair processes
- E.-R. Olderog: Operational Petri net semantics for CCSP
- E. Pelz: Infinitary languages of Petri nets and logical sentences
- W. Reisig: A strong part of concurrency
- C.A. Petri, E. Smith: Concurrency and continuity
- J. Vautherin: Parallel systems specifications with coloured Petri nets and algebraic specifications
- S. Drees, D. Gomm, H. Plnnecke, W. Reisig, R. Walter: Bibliography of Petri nets.