Unifying Petri Nets （统一 Petri 网络）
|
读过这本书吗？
最近在读
读过
想读
还不熟悉
|
图书城书列：
加入到博客或社交网站：
|
|
我来评论这本书：
内容提要：
Since their introduction nearly 40 years ago，research on Petri nets has diverged in many different directions.Various classes of Petri nets，motivated either by theory or applications，each with its own specific features and methods of analysis，have been proposed and studied in edpth.These successful developments have led to a very heterogeneous landscape of diverse models，and this，in turn，has stimualted research on concepts and approaches that contribute to unifying and structruing the diverse landscape.
This satate-of-the-art survey presents the most relevant approaches to unifying Petri nets in a systematic and coherent way.The 14 chapters written by leading researchers are organized in topical sections on application-oriented approaches，unifying frameworks，and theoreical approaches. 编辑推荐：
在线阅读本书
Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivated either by theory or applications, with its own specific features and methods of analysis, have been proposed and studies in depth. These successful developments have led to a very heterogeneous landscape of diverse models, and this, in turn, has stimulated research on concepts and approaches that contribute to unifying and structuring the diverse landscape. This state-of-the-art survey presents the most relevant approaches to unifying Petri nets in a systematic and coherent way. The 14 chapters written by leading researchers are organized in topical sections on application-oriented approaches, unifying frameworks, and theoretical approaches. 目录：
Introduction
“What Is a Petri Net？”Informal Answers for the Informed Reader PartⅠ：Application Oriented Approaches The Petri Baukasten：An Overivew Improving the Usability of Petri Nets with the Petri Net Baukasten Implementation of Parameterized Net Classes with the Petri Net Kernel of the Petri Net Baukasten Process Landscaping：Modelling Distributed Processes and Proving Properties of Distributed Process Models PartⅡ：Unitying Frameworks Petri Nets over Partial Algebra Parameterized Net Classes：A Uniform Approach to Petri Net Classes Behavior and Realization Construcction for Petri Nets Based on Free Monoid and Power Set Graphs Rewriting Logic as a Unifying Framework for Petri Nets PartⅢ：Theoretical Approaches Generalized Automata and Thieir Net Representations On Concurrent Realization of Reactive Systems and Their Morphisms Transactions and Zero-Safe Nets Two Algebraic Process Semantics for Contextual Nets Continuous Petri Nets and Transition Systems Author Endex |