| 書目名稱 | Petri Nets: Central Models and Their Properties |
| 副標題 | Advances in Petri Ne |
| 編輯 | W. Brauer,W. Reisig,G. Rozenberg |
| 視頻video | http://file.papertrans.cn/746/745301/745301.mp4 |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | 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 |
| 出版日期 | Conference proceedings 1987 |
| 關鍵詞 | Area; Petri net; Prolog; Volume; computer; computer science; design; form; framework; learning; systems design |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-540-47919-2 |
| isbn_softcover | 978-3-540-17905-4 |
| isbn_ebook | 978-3-540-47919-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1987 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-8 08:44
發(fā)表于 2025-3-21 19:54:11
