Unifying Petri nets : advances in Petri nets
Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivated either by theory or applications, with its own specific features and methods of analysis, have been proposed and studies in depth. These successful...
保存先:
| 第一著者: | |
|---|---|
| その他の著者: | , |
| フォーマット: | Livre numérique |
| 言語: | Anglais |
| 出版事項: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| シリーズ: | Lecture notes in computer science
2128 |
| 主題: | |
| オンライン･アクセス: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 注記: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Unifying Petri nets, advances in Petri nets, H. Ehrig ... [et al.], eds, Berlin, Springer, 2001, 1 vol. (VIII-484 p.), Lecture notes in computer science, 3-540-43067-9 • Unifying Petri Nets, Texte imprimé, 9783662190012 |
| LEADER | 04009nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 970802 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155196642 | ||
| 020 | |a 9783540455417 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 511.3 | ||
| 100 | 1 | |a Ehrig, Hartmut, |d 1944- | |
| 245 | 1 | 0 | |a Unifying Petri nets : |b advances in Petri nets |c [edited by] Hartmut Ehrig, Julia Padberg, Gabriel Juhás... [et al.]. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2128 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a What Is a Petri Net? Informal Answers for the Informed Reader -- Application Oriented Approaches -- The ?Petri Net Baukasten?: An Overview -- Improving the Usability of Petri Nets with the ?Petri Net Baukasten? -- Implementation of Parameterized Net Classes with the Petri Net Kernel of the ?Petrinetz-Baukasten? -- Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models -- Unifying Frameworks -- Petri Nets over Partial Algebra -- Parameterized Net Classes: A Uniform Approach to Petri Net Classes -- Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs -- Rewriting Logic as a Unifying Framework for Petri Nets -- Theoretical Approaches -- Generalized Automata and Their Net Representations -- On Concurrent Realization of Reactive Systems and Their Morphisms -- Transactions and Zero-Safe Nets -- Two Algebraic Process Semantics for Contextual Nets -- Continuous Petri Nets and Transition Systems. | |
| 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 Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivated either by theory or applications, with its own specific features and methods of analysis, have been proposed and studies in depth. These successful developments have led to a very heterogeneous landscape of diverse models, and this, in turn, has stimulated research on concepts and approaches that contribute to unifying and structuring the diverse landscape. This state-of-the-art survey presents the most relevant approaches to unifying Petri nets in a systematic and coherent way. The 14 chapters written by leading researchers are organized in topical sections on application-oriented approaches, unifying frameworks, and theoretical approaches. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Petri, Réseaux de | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 700 | 1 | |a Padberg, Julia, |d 19..- |4 pbd | |
| 700 | 1 | |a Juhás, Gabriel, |d 19..- |4 pbd | |
| 776 | 0 | |0 060781955 |t Unifying Petri nets |o advances in Petri nets |f H. Ehrig ... [et al.], eds |c Berlin |n Springer |d 2001 |p 1 vol. (VIII-484 p.) |s Lecture notes in computer science |z 3-540-43067-9 | |
| 776 | 0 | |t Unifying Petri Nets |b Texte imprimé |z 9783662190012 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-45541-8 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-JTZC1KDQ-0 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750659424 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-45541-8 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754009068 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-45541-8 |z Accès INSA CVL | |
| 997 | |0 970802 |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/ | ||