随机 Petri 网和系统性能评价
ISBN:9787302010173...
随机Petri网和系统性能评价
ISBN:9787302106517随机Petri网和系统性能评价,ISBN:9787302106517,作者:林闯著 ...
PETRI网原理
ISBN:9787505344396...
Petri网导论
ISBN:9787111182788Petri网是什么?它是分布式系统的建模和分析工具。它特别便于描述系统中进程或部件的顺序、并发、冲突以及同步等关系。作为一种系统模型,Petri网不仅可以刻画系统的结构,而且可以描述系统的动态行为(...
Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets (平装)
ISBN:9783540419426在线阅读本书 Concurrency and distribution have become the dominant paradigm and concern in c...
Concurrent Object Oriented Programming and Petri Nets Advances in Petri Nets 平装
Petri网的行为理论及其应用
ISBN:9787040115666《Petri网的行为理论及其应用》着重介绍了Petri网的顺序行为理论和并发行为理论,包括Petri网重要特性的网语言刻划、分析及控制手段,以及Petri网连接、同步和共享操作等过程中的语言关系等内...
Unifying Petri Nets
ISBN:9783540430674在线阅读本书 Since their introduction nearly 40 years ago, research on Petri nets has diverg...
Applications and Theory of Petri Nets 2005: 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings
ISBN:9783540263012...
Applications and Theory of Petri Nets 2005 26 th International Conference ICATPN 2005 Miami FL June 20 25 2005 Proceedings
Applications and Theory of Petri Nets 2001
ISBN:9783540422525在线阅读本书 This book constitutes the refereed proceedings of the 22nd International Confer...
Applications and Theory of Petri Nets 2001
佩特里网应用与理论2002/会议录 Application and theory of petri nets 2002
ISBN:9783540437871在线阅读本书 This book constitutes the refereed proceedings of the 23rd International Confer...
佩特 里 网 应用 与 理论 2002 会议 录 Application and theory of petri nets 2002
佩特里网与其它并行性模型 - ICATPN 2006/会议录 Petri nets and other models od concurrency - ICATPN 2006
ISBN:9783540346999...
佩特 里 网 与其 它 并行 性 模型 ICATPN 2006 会议 录 Petri nets and other models od concurrency ICATPN 2006
Petri网在C4ISR系统建模、仿真与分析中的应用
ISBN:9787810994033...
Petri 网 在 C 4 ISR 系统 建模 仿真 与 分析 中的 应用
Petri网及其在制造系统建模与控制中的应用
ISBN:9787111140719近年来,Petri网在计算机、自动化、通信、交通、电力与电子、服务及制造等领域得到了广泛的应用。 本书内容丰富,理论性和适用性相结合、数学表达和文字描述相结合,符合普通理工科学科学...
Petri 网 及其 在 制造 系统 建模 与 控制 中的 应用
Advances in Verification of Time Petri Nets and Timed Automata
ISBN:9783540328698...
Advances in Verification of Time Petri Nets and Timed Automata
Application and Theory of Petri Nets 1993
ISBN:9780387568638...
Application and Theory of Petri Nets 1993
Advances in Petri Nets, 1989
ISBN:9780387524948...
Advances in Petri Nets 1988
ISBN:9780387505800...
Advances in Petri Nets, 1990
ISBN:9780387538631...
Advances in Petri Nets 1991
ISBN:9780387543987...
Advances in Petri Nets 1993
ISBN:9780387566894...
Application and Theory of Petri Nets 2000
ISBN:9783540676935...
Application and Theory of Petri Nets 2000
Advances in Petri Nets 1987
ISBN:9780387180861...
Discrete, Continuous, And Hybrid Petri Nets
ISBN:9783540224808...
Discrete Continuous And Hybrid Petri Nets
Supervisory Control of Discrete Event Systems Using Petri Nets
ISBN:9780792381990Supervisory Control of Discrete Event Systems Using Petri Nets presents a novel approach to its su...
Supervisory Control of Discrete Event Systems Using Petri Nets
Supervision of Petri Nets
ISBN:9780792374862Supervision of Petri Nets presents supervisory control theory for Petri nets with a legal set as t...
Dynamic Analysis of Petri Net-Based Discrete Systems
ISBN:9783540714644...
Dynamic Analysis of Petri Net Based Discrete Systems
Petri Nets
ISBN:9781905209828...
Application and Theory of Petri Nets 1997
ISBN:9783540631392...
Application and Theory of Petri Nets 1997
Coloured Petri Nets
ISBN:9783540609438This three-volume work presents a coherent description of the theoretical and practical aspects of ...
Petri Net Synthesis for Discrete Event Control of Manufacturing Systems
ISBN:9780792392897Petri Net Synthesis for Discrete Event Control of Manufacturing Systems develops two essential res...
Petri Net Synthesis for Discrete Event Control of Manufacturing Systems
Templi Petri instauracio
ISBN:9783861300007...
Du GRAFCET aux réseaux de Petri
ISBN:9782866013257...
Du GRAFCET aux r é seaux de Petri
Petri网原理与应用
ISBN:9787121009709Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础。 本书是对...
Hardware Design and Petri Nets
ISBN:9780792377917Hardware Design and Petri Nets presents a summary of the state of the art in the applications of P...
Hardware Design and Petri Nets
Petri-Netze. Eine anwendungsorientierte Einführung
ISBN:9783528335823Die Petri-Netz-Theorie dient der graphischen Modellierung von Systemzusammenh?ngen sowie der mathem...
Petri Netze Eine anwendungsorientierte Einf ü hrung
Sigurd Lewerentz: St. Petri
ISBN:9783803006981Swedish architect Sigurd Lewerentz (1885-1975) was invited to design a church in the remote souther...
Applications and Theory of Petri Nets 2004
ISBN:9783540222361...
Applications and Theory of Petri Nets 2004
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
ISBN:9780471704492A Step-by-Step Guide to Verification of Digital Systems This practical book provides a step-by-step...
Verification of Systems and Circuits Using LOTOS Petri Nets and CCS
Petri Nets
ISBN:9781848210790A Petri net is a mathematical representation of a network. This book first introduces the basic mod...
Petri Net Workflow Modeling for Digital Publishing- Measuring Quantitative Dependability Attributes
ISBN:9783836418898Digital Publishing consists of different job treatment stages involved in the correct set up of eac...
Petri Net Workflow Modeling for Digital Publishing Measuring Quantitative Dependability Attributes
Transactions on Petri Nets and Other Models of Concurrency
ISBN:9783540892861...
Transactions on Petri Nets and Other Models of Concurrency
系统工程Petri网
ISBN:9787121007811越来越大、越来越复杂的系统,使得应用在硬件和软件的规范与验证中的形式化方法越来越重要。本书旨在通过Petri网的形式化过程来阐述形式化方法中的相关进展。书中采用了许多实例,它们来源于不同的应用领域,...
Coloured Petri Nets
ISBN:9783642002830...
Coloured Petri Nets
ISBN:9783540628675...
Lectures on Petri Nets I
ISBN:9783540653066...
Applications and Theory of Petri Nets
ISBN:9783540687450...
Applications and Theory of Petri Nets
Petri Nets for Systems Engineering
ISBN:9783540412175...
Petri Nets for Systems Engineering
Stochastic Petri Nets
ISBN:9781441930019...