Advances in Petri nets 1991
The main 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 of the area. Thepapers for the volumes are drawn mainly from the annual International Confere...
Spremljeno u:
| Autor kompanije: | |
|---|---|
| Daljnji autori: | |
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in computer science
524 |
| Teme: | |
| Online pristup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Bilješka: |
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 1991, G. Rozenberg (ed.), Berlin, Springer-Verlag, 1991, 1 vol. (VIII-572 p.), Lecture notes in computer science, 3-540-54398-8 • Advances in Petri Nets 1991, Texte imprimé, 9783662211199 |
| LEADER | 03980nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 944469 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155189298 | ||
| 020 | |a 9783540476009 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 511 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a International conference on application and theory of Petri nets |n (11 |d :1990 |c :Paris). | |
| 245 | 1 | 0 | |a Advances in Petri nets 1991 |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 524 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Delays in synchronized elementary net systems -- Proving temporal properties of Petri nets -- The complexity of testing the equivalence of transition sequences -- Use of reentrant nets in modular analysis of colored nets -- On abstractions of nets -- Semantics, composition and net properties of algebraic high-level nets -- Top-down synthesis of live and bounded free choice nets -- Hood nets -- Distributable nets -- Computer supported design of kanban controlled production -- Optimal simulations, nets and reachability graphs -- An integrated software development methodology based on hierarchical colored Petri nets -- On net systems generated by process foldings -- On liveness preservation by composition of nets via a set of places -- Software implementation of petri nets and compilation of rule-based systems -- Bibliography of Petri nets 1990. | |
| 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 main 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 of the area. Thepapers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1991 covers the 11th International Conference on Applications and Theory of Petri Nets held in Paris, France in June 1991. The volume contains the Bibliography of Petri Nets 1990 prepared by H. Pl}nnecke and W. Reisig, with over 4000 entries. | ||
| 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 022267190 |t Advances in Petri Nets 1991 |f G. Rozenberg (ed.) |c Berlin |n Springer-Verlag |d 1991 |p 1 vol. (VIII-572 p.) |s Lecture notes in computer science |z 3-540-54398-8 | |
| 776 | 0 | |t Advances in Petri Nets 1991 |b Texte imprimé |z 9783662211199 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0019965 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-6G8H3WC5-6 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747919305 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0019965 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750931833 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0019965 |z Accès INSA CVL | |
| 997 | |0 944469 |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/ | ||