Description |
1 online resource (x, 514 pages) : illustrations |
Series |
Lecture notes in computer science ; 255 |
|
Lecture notes in computer science ; 255.
|
Contents |
Introduction to Part II -- Net Tools -- Application of Nets -- Relationship to other Models of Concurrency -- Epilogue -- Addresses of the authors |
Summary |
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 |
Notes |
Papers from the Advanced Course on Petri Nets held September 1986 in Bad Honnef, West Germany |
|
Spine title: Advances in Petri nets 1986, Part II |
Bibliography |
Includes bibliographical references |
Notes |
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL |
|
Print version record |
|
digitized 2014 HathiTrust Digital Library committed to preserve pda MiAaHDL |
Subject |
Petri nets -- Congresses
|
|
Machine theory -- Congresses
|
|
Machine theory
|
|
Petri nets
|
Genre/Form |
Conference papers and proceedings
|
Form |
Electronic book
|
Author |
Brauer, Wilfried
|
|
Reisig, Wolfgang
|
|
Rozenberg, Grzegorz
|
|
Advanced Course on Petri Nets (1986 : Bad Honnef, Germany)
|
ISBN |
9783540479260 |
|
3540479260 |
|