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...
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
266 |
| 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, 1987, Grzegorz Rozenberg, ed, Berlin, Springer-Verlag, 1987, 1 vol. (vi-451 p.), Lecture notes in computer science, 0-387-18086-9 • Advances in Petri Nets 1987, Texte imprimé, 9783662200957 |
| LEADER | 04030nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 945248 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155219812 | ||
| 020 | |a 9783540477433 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 511 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a European workshop on application and theory of Petri nets |n (07 |d :1986 |c :Oxford). | |
| 245 | 1 | 0 | |a Advances in Petri Nets 1987 |c [edited by] Grzegorz Rozenberg. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 266 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Specification and properties of a cache coherence protocol model -- GAMERU: A language for the analysis and design of human communication pragmatics within organizational systems -- Recent results on the complexity of problems related to Petri nets -- Algebraic structure of flows of a regular coloured net -- On equivalent execution semantics of concurrent systems -- Mathematical methods for calculating invariants in Petri nets -- On Petri nets with deterministic and exponentially distributed firing times -- An accurate performance model of CSMA/CD bus LAN -- Petri net models for the ?-calculus -- Fair processes -- Operational Petri net semantics for CCSP -- Infinitary languages of Petri nets and logical sentences -- A strong part of concurrency -- Concurrency and continuity -- Parallel systems specifications with coloured Petri nets and algebraic specifications -- Bibliography of Petri nets. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 Petri Nets"; the highest ranked papers from the past workshops are considered for the series, i.e., they are again reviewed and accordingly revised or extended. In addition to the workshop papers, the "Advances" also present invited papers. The present volume Advances in Petri Nets 1987 covers the 7th "European Workshop on Applications and Theory of Petri Nets" held in Oxford, Great Britain, in June 1986. It also contains a survey on complexity of problems related to Petri nets written by R.R. Howell and L.E. Rosier. A special feature of this volume is a bibliography on Petri nets, containing more than 2000 entries. | ||
| 650 | |a Informatique | ||
| 650 | |a Petri, Réseaux de | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Congrès et conférences | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Rozenberg, Grzegorz, |d 1942- |4 pbd | |
| 776 | 0 | |0 020411871 |t Advances in Petri nets, 1987 |f Grzegorz Rozenberg, ed |c Berlin |n Springer-Verlag |d 1987 |p 1 vol. (vi-451 p.) |s Lecture notes in computer science |z 0-387-18086-9 | |
| 776 | 0 | |t Advances in Petri Nets 1987 |b Texte imprimé |z 9783662200957 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-18086-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-M65NQ2S9-J |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:74791236X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-18086-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750925167 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-18086-9 |z Accès INSA CVL | |
| 997 | |0 945248 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||