Advances in Petri nets 1989
Gardado en:
| Autor Corporativo: | |
|---|---|
| Outros autores: | |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
424 |
| Sujets: | |
| Acceso en liña: | 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, 1989, Grzegorz Rozenberg, ed, Berlin, Springer-Verlag, 1990, 1 vol. (VI-524 p.), Lecture notes in computer science, 0-387-52494-0 • Advances in Petri Nets 1989, Texte imprimé, 9783662179666 |
Table des matières:
- Stochastic Petri nets: An elementary introduction
- Improving the efficiency of the analysis of DSPN models
- Synchronized elementary net systems
- Descriptive and analytical process algebras
- P/T-systems as abstractions of C/E-systems
- The semantics of capacities in P/T nets
- Petri net tool overview 1989
- Equivalence transformations of PrT-Nets
- A reduction theory for coloured nets
- Optimizing microprograms for recurrent loops on pipelined architectures using timed Petri nets
- S-CORT®: A method for the development of electronic payment systems
- Timed Petri nets and application to multi-stage production systems
- Petri net systems and their closure properties
- Occam and the transputer
- About the concurrent behaviour of EN systems: Definability and closure results
- Petri nets and flexible manufacturing
- Some properties of timed nets under the earliest firing rule
- A comparative study of different techniques for semi-flows computation in place/transition nets
- Elementary net systems and dynamic logic
- Representation of a swapping class by one net
- Design methods based on nets
- CEDISYS compositional distributed systems state of the art, research goals, references.