Advances in Petri Nets 1993
The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - to encourage those interested in the applications and the theory of concurrent systems to tak...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
674 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
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, 1993, Grzegorz Rozenberg (ed.), Berlin, Springer, 1993, 1 vol. (457 p.), Lecture notes in computer science, 0-387-56689-9 • Advances in Petri Nets 1993, Texte imprimé, 9783662202357 |
| LEADER | 04057nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 944784 | ||
| 008 | 110927q2000 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN15520193X | ||
| 020 | |a 9783540476313 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 511.5 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a International conference on application and theory of Petri nets |n (12 |d :1991 |c :Gjern). | |
| 245 | 1 | 0 | |a Advances in Petri Nets 1993 |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 674 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Replacement of open interface subnets and stable state transformation equivalence -- Bounded self-stabilizing Petri nets -- Generative families of positive invariants in Coloured nets sub-classes -- Autonomous and timed continuous Petri nets -- The Devnet: A Petri net for discrete event simulation -- A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets -- A concept of hierarchical Petri nets with building blocks -- Petri net tool overview 1992 -- The minimal coverability graph for Petri nets -- Distributed implementation of CCS -- Saturation conditions for Stochastic Petri Nets -- Marking optimization in timed event graphs -- Parameterized reachability trees for Predicate/Transition nets -- Iterative decomposition and aggregation of Stochastic marked graph Petri nets -- Constraints and extensions in a Calculus of EN systems -- Comparability orders and measurement -- Deterministic systems of sequential processes: A class of structured Petri nets -- Compositional 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 aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - to encourage those interested in the applications and the theory of concurrent systems to take a closer look at Petri nets and then join the group of researchers working in this fascinating and challenging area. This volume is based on the proceedings of the 12th International Conference on Applications and Theory of Petri Nets, held in Gjern, Denmark, in June 1991. It contains 18 selected and revised papers covering all aspects of recent Petri net research. | ||
| 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 017143101 |t Advances in Petri Nets, 1993 |f Grzegorz Rozenberg (ed.) |c Berlin |n Springer |d 1993 |p 1 vol. (457 p.) |s Lecture notes in computer science |z 0-387-56689-9 | |
| 776 | 0 | |t Advances in Petri Nets 1993 |b Texte imprimé |z 9783662202357 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-56689-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-W0DVD180-9 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747916535 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-56689-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750929146 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-56689-9 |z Accès INSA CVL | |
| 997 | |0 944784 |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/ | ||