Advances in Petri Nets 1993
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 the theory of concurrent systems to tak...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
674 |
| Matèries: | |
| Accés en línia: | 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, 1993, Grzegorz Rozenberg (ed.), Berlin, Springer, 1993, 1 vol. (457 p.), Lecture notes in computer science, 0-387-56689-9 • Advances in Petri Nets 1993, Texte imprimé, 9783662202357 |
Taula de continguts:
- Replacement of open interface subnets and stable state transformation equivalence
- Bounded self-stabilizing Petri nets
- Generative families of positive invariants in Coloured nets sub-classes
- Autonomous and timed continuous Petri nets
- The Devnet: A Petri net for discrete event simulation
- A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets
- A concept of hierarchical Petri nets with building blocks
- Petri net tool overview 1992
- The minimal coverability graph for Petri nets
- Distributed implementation of CCS
- Saturation conditions for Stochastic Petri Nets
- Marking optimization in timed event graphs
- Parameterized reachability trees for Predicate/Transition nets
- Iterative decomposition and aggregation of Stochastic marked graph Petri nets
- Constraints and extensions in a Calculus of EN systems
- Comparability orders and measurement
- Deterministic systems of sequential processes: A class of structured Petri nets
- Compositional state space generation.