Petri nets : applications and relationships to other models of concurrency : Advances in Petri nets 1986 Part II, proceedings of an advanced course, Bad Honnef, 8. 19. September 1986

The present volume is the second of two parts which constitute the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. It discusses tools supporting the design of petri nets as well as their modification and analysis, presents a variety of applications, and covers the relationship o...

Descrizione completa

Salvato in:
Dettagli Bibliografici
Ente Autore: Advanced Course on Petri Nets :Bad Honnef
Altri autori: Brauer, Wilfried, 1937-2014 (Direttore editoriale), Reisig, Wolfgang, 1950- (Direttore editoriale), Rozenberg, Grzegorz, 1942- (Direttore editoriale)
Natura: Livre numérique
Lingua:Anglais
Pubblicazione: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Serie:Lecture notes in computer science 255
Soggetti:
Accesso online:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Nota: 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. 2, Petri nets : applications and relationships to other models of concurrency : proc. of an Advanced Course ..., Bad Honnef, 8-19 Sept. 1986, Advanced Course on Petri Nets, Berlin, Springer, 1987, 1 vol. (X-516 p.), Lecture notes in computer science, 3-540-17906-2
• Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986, Texte imprimé, 9783662212035
Descrizione
Riassunto:The present volume is the second of two parts which constitute the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. It discusses tools supporting the design of petri nets as well as their modification and analysis, presents a variety of applications, and covers the relationship of petri nets to other concurrency models. These current issues of the "Advances in Petri Nets" present the most significant recent results in the application and theory of petri nets to the broad computer science community. They particularly address those who are: - interested in systems design and would like to learn to use petri nets, - familiar with subareas of the theory or the applications of nets and wish to become acquainted with the whole area, - interested in learning about recent results presented within a unified framework, - going to learn about successfully applying petri nets in - various practical situations, - interested in the relationship of petri nets to other models of concurrent systems.
Descrizione del documento:Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
ISBN:9783540479260 (PDF)
ISSN:1611-3349
Accesso:Accès en ligne pour les établissements français bénéficiaires des licences nationales
Accès soumis à abonnement pour tout autre établissement
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