Advances in Petri nets 1988
The idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development in this area. The main source for the papers for "Advances" are the annual "Europea...
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
340 |
| 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 1988, Grzegorz Rozenberg (ed.), Berlin, Springer-Verlag, 1988, 1 vol. (VI-439 p.), Lecture notes in computer science, 3-540-50580-6 • Advances in Petri Nets 1988, Texte imprimé, 9783662165065 |
| LEADER | 04542nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 944230 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155179829 | ||
| 020 | |a 9783540460596 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 511.3 | ||
| 111 | 2 | |a European workshop on application and theory of Petri nets |n (08 |d :1987 |c :Saragosse, Espagne). | |
| 245 | 1 | 0 | |a Advances in Petri nets 1988 |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 340 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a An environment for object-oriented conceptual programming based on PROT nets -- OBJSA Nets: a class of high-level nets having objects as domains -- On internal and external characterisations of PT-net building block behaviour -- Timed Petri Net schedules -- An exercise in concurrency: A CSP process as a condition/event system -- A survey on the decidability questions for classes of fifo nets -- The construction of EN systems from a given trace behaviour -- Programming a closely coupled multiprocessor system with high level petri nets -- Music description and processing by Petri Nets -- On questions of fairness and temporal logic for conflict-free Petri nets -- Infinitary partial Petri net languages and their relationship to other Petri net semantics -- Net representation of sentences in natural languages -- Some consequences of the decidability of the reachability problem for Petri nets -- Experiences in the use of galileo to design telecommunication systems -- Compositional semantics of pure place/transition systems -- Occurrence traces -- Performance evaluation of interpreted bipolar synchronization schemes using G.E.R.T. -- On the generation of organizational architectures using Petri Nets -- On the computation of structural synchronic invariants in P/T nets -- On the implementation 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 idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development in this area. The main source for the papers for "Advances" are the annual "European Workshops on Applications and Theory of Petri Nets"; the "best" papers from the latest workshops are considered for the series, i.e. they are reviewed again and revised or extended accordingly. In addition to the workshop papers, the "Advances" also present invited papers submitted directly for publication. The present volume Advances in Petri Nets 1988 covers the 8th "European Workshop on Applications and Theory of Petri Nets" held in Zaragoza, Spain in June 1987. It also contains a survey on decidability questions for classes of FIFO nets by A. Finkel and L.E. Rosier. | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Automates mathématiques, Théorie des | ||
| 650 | |a Systèmes d'exploitation (ordinateurs) | ||
| 650 | |a Petri, Réseaux de | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Microprocesseurs | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Rozenberg, Grzegorz, |d 1942- |4 pbd | |
| 776 | 0 | |0 020965109 |t Advances in Petri nets 1988 |f Grzegorz Rozenberg (ed.) |c Berlin |n Springer-Verlag |d 1988 |p 1 vol. (VI-439 p.) |s Lecture notes in computer science |z 3-540-50580-6 | |
| 776 | 0 | |t Advances in Petri Nets 1988 |b Texte imprimé |z 9783662165065 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-50580-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-SM3THD7Q-P |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:74792161X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-50580-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75093400X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-50580-6 |z Accès INSA CVL | |
| 997 | |0 944230 |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/ | ||