Advances in Petri nets 1990
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. The papers for the volumes are drawn mainly from the annual International Confer...
Wedi'i Gadw mewn:
| Awdur Corfforaethol: | |
|---|---|
| Awduron Eraill: | |
| Fformat: | Livre numérique |
| Iaith: | Anglais |
| Cyhoeddwyd: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Cyfres: | Lecture notes in computer science
483 |
| Pynciau: | |
| Mynediad Ar-lein: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nodyn: |
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, 1990, Grzegorz Rozenberg, (ed.), Berlin, Springer-Verlag, 1991, 1 vol. (VI-515 p.), Lecture notes in computer science, 0-387-53863-1 • Advances in Petri Nets 1990, Texte imprimé, 9783662166543 |
| LEADER | 04316nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 944745 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155200208 | ||
| 020 | |a 9783540463696 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 511.3 | ||
| 111 | 2 | |a International conference on application and theory of Petri nets |n (10 |d :1989 |c :Bonn). | |
| 245 | 1 | 0 | |a Advances in Petri nets 1990 |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 483 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a A survey of behaviour and equivalence preserving refinements of petri nets -- A distributed simulator for high order Petri nets -- Petri nets with uncertain markings -- Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal p-semiflows -- Improving the linearly based characterization of P/T nets -- Linear invariants in commutative high level nets -- Vicinity respecting net morphisms -- Regular stochastic petri nets -- Circuits, handles, bridges and nets -- On the analysis and synthesis of free choice systems -- Petri net models of a distributed election protocol on a unidirectional ring -- Hierarchies in coloured petri nets -- Coloured petri nets: A high level language for system design and analysis -- A simulation system architecture for graph models -- A state transformation preorder over a class of EN systems -- Composition of nets via a communication medium -- ?Trellis: A system for writing and browsing petri-net-based hypertext -- Stubborn sets for reduced state space generation. | |
| 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. The papers 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 1990 covers the Tenth International Conference on Applications and Theory of Petri Nets held in Bonn, Germany, in June 1989. Additional highlights of this volume include a tutorial on refinements of Petri nets by W. Brauer, R. Gold, and W. Vogler, and a tutorial on analysis and synthesis of free choice systems by J. Esparza and M. Silva, both prepared in the framework of the ESPRIT Basic Research Actions Project DEMON. | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 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 022017577 |t Advances in Petri nets, 1990 |f Grzegorz Rozenberg, (ed.) |c Berlin |n Springer-Verlag |d 1991 |p 1 vol. (VI-515 p.) |s Lecture notes in computer science |z 0-387-53863-1 | |
| 776 | 0 | |t Advances in Petri Nets 1990 |b Texte imprimé |z 9783662166543 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-53863-1 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-C0HBN7ZF-W |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747916934 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-53863-1 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750929545 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-53863-1 |z Accès INSA CVL | |
| 997 | |0 944745 |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/ | ||