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. 1st ed. 1987

種類:

電子ブック

責任表示:

edited by Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987

著者名:

• Brauer, Wilfried.
• Reisig, Wolfgang.
• Rozenberg, Grzegorz.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 254

ISBN:

9783540479192 [3540479198]    

注記:

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.
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 mak

ローカル注記:

学内専用E-BOOKS (local access only)