Petri nets : central models and their properties : advances in Petri nets 1986 part I, proceedings of an advanced course, Bad Honnef, 8. 19. September 1986
Petri Nets represent a long and sustained effort· to develop concepts, theories and tools to aid in design and analysis of concurrent systems. They are used in many areas of computer science including software engineering, data base and in formation systems, computer architecture and operating syste...
Sábháilte in:
| Údar corparáideach: | |
|---|---|
| Rannpháirtithe: | , , |
| Formáid: | Livre numérique |
| Teanga: | Anglais |
| Foilsithe / Cruthaithe: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Sraith: | Lecture notes in computer science
254 |
| Ábhair: | |
| Rochtain ar líne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nóta: |
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 1986, Vol. 1, Petri nets : central models and their properties : proc. of an Advanced Course ..., Bad Honnef, 8-19 Sept. 1986, Advanced Course on Petri Nets, Berlin, Springer, 1987, 1 vol. (X-480 p.), Lecture notes in computer science, 3-540-17905-4 • Petri Nets: Central Models and Their Properties, Texte imprimé, 9783662210932 |
| LEADER | 04207nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 944263 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155181114 | ||
| 020 | |a 9783540479192 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Advanced Course on Petri Nets |d (1986 |c :Bad Honnef). | |
| 245 | 1 | 0 | |a Petri nets : |b central models and their properties : advances in Petri nets 1986 |n part I, |p proceedings of an advanced course, Bad Honnef, 8. 19. September 1986 |c edited by W. Brauer, W. Reisig and G. Rozenberg. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 254 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Contents: Introduction to Part I -- Prologue -- Elementary Net Systems - Fundamentals -- Place/Transition Systems - Fundamentals -- High-Level Nets - Fundamentals -- Special Topics -- Other Petri Net Models -- Addresses of the authors. | |
| 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 Petri Nets represent a long and sustained effort· to develop concepts, theories and tools to aid in design and analysis of concurrent systems. They are used in many areas of computer science including software engineering, data base and in formation systems, computer architecture and operating systems, communication protocols and computer networks, process control, and socio-technical systems such as office communication and man-machine interaction. Quite substantial theory has been developed for Petri Nets. It reflects all major problem areas of concurrent distributed systems and covers many successfully applied principles and analysis techniques for systems organisation. Since the time that C. A. Petri has presented his original ideas, a rich body of knowledge has been developed-a recent bibliography (in Advances in Petri Nets 1981) includes more than 2000 entries. Already in 1979 an Advanced Course on Petri Nets was organized in Hamburg, West Germany, aiming at systematizing the existing knowledge and making it well accessible to a wide audience of computer scientists interested in theory and applications of concurrent systems. This course has turned out to be successful in the sense that it has initiated a lot of new research into applications and theory of Petri Nets. This had led to· another Advanced Course in 1986 in Bad Honnef, West Germany - where during two weeks more than 30 lectures were presented covering the most important current developments in the area of Petri Nets. | ||
| 650 | |a Informatique | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Rozenberg, Grzegorz, |d 1942- |4 pbd | |
| 700 | 1 | |a Reisig, Wolfgang, |d 1950- |4 pbd | |
| 700 | 1 | |a Brauer, Wilfried, |d 1937-2014. |4 pbd | |
| 776 | 0 | |0 022488618 |t Advances in Petri nets 1986 |h Vol. 1 |o Petri nets : central models and their properties : proc. of an Advanced Course ..., Bad Honnef, 8-19 Sept. 1986 |f Advanced Course on Petri Nets |c Berlin |n Springer |d 1987 |p 1 vol. (X-480 p.) |s Lecture notes in computer science |z 3-540-17905-4 | |
| 776 | 0 | |t Petri Nets: Central Models and Their Properties |b Texte imprimé |z 9783662210932 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0046832 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-N20MN38R-B |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747893292 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0046832 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750906308 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0046832 |z Accès INSA CVL | |
| 997 | |0 944263 |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/ | ||