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...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colección: | Lecture notes in computer science
609 |
| Materias: | |
| Acceso en línea: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Advances in Petri Nets, 1992, G. Rozenberg (ed.), Berlin, Springer-Verlag, 1992, 1 vol. (VIII, 472 p.), Lecture notes in computer science, 3-540-55610-9 • Advances in Petri Nets 1992, Texte imprimé, 9783662165003 |
Tabla de Contenidos:
- 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.