佩特里網(wǎng)應(yīng)用與理論2002/會(huì)議錄

定　價(jià)：￥632.80

作　者：	Javier Esparza 著
出版社：	湖南文藝出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購(gòu)買這本書可以去

當(dāng)當(dāng)網(wǎng) (￥506.20)

ISBN：	9783540437871	出版時(shí)間：	2002-12-01	包裝：	平裝
開本：		頁數(shù)：		字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets， ICATPN 2002， held in Adelaide， Australia， in June 2002.The 18 regular papers and one tool presentation presented together with six invited paper were carefully reviewed and selected from 45 submissions. All current issues on research and development of Petri nets are addressed， in particular concurrent systems analysis， model validation， business process management， reactive systems， workflow processes， wireless transaction protocols.

作者簡(jiǎn)介

暫缺《佩特里網(wǎng)應(yīng)用與理論2002/會(huì)議錄》作者簡(jiǎn)介

圖書目錄

Invited Papers
　Making Work Flow: On the Application of Petri Nets　to Business Process Management
　Model Validation - A Theoretical Issue?
　The Real-Time Refinement Calculus:　A Foundation for Machine-Independent Real-Time Progr
　The Challenge of Object Orientation　for the Analysis of Concurrent Systems
　Abstract Cyclic Communicating Processes: A Logical View
　Is the Die Cast for the Token Game?
Regular Papers
　Quasi-Static Scheduling of Independent Tasks for Reactive Systems
　Data Decision Diagrams for Petri Net Analysis
　Non-controllable Choice Robustness Expressing the Controllability　of Workfiow Processes
　Real-Time Synchronised Petri Nets
　Computing a Finite Prefix of a Time Petri Net
　Verification of a Revised WAP Wireless Transaction Protocol
　Characterizing Liveness of Petri Nets in Terms of Siphons
　Petri Nets, Situations, and Automata
　Reproducibility of the Empty Marking
　Modeling and Analysis of Multi-class Threshold-Based Queues　with Hysteresis Using Stochastic Petri Nets
　Tackling the Infinite State Space　of a Multimedia Control Protocol Service Specification
　Modelling of Features and Feature Interactions　in Nokia Mobile Phones Using Coloured Petri Nets
　Analysing Infinite-State Systems　by Combining Equivalence Reduction and the Sweep-Line Method
　Regular Event Structures and Finite Petri Nets: The Conflict-Free Case
　A Formal Service Specification for the Internet Open Trading Protocol
　Transition Refinement for Deriving　a Distributed Minimum Weight Spanning Tree Algorithm
　Token-Controlled Place Refinement in Hierarchical Petri Nets　with Application to Active Document Workflow
　Translating TPAL Specifications into Timed-Arc Petri Nets
　Tool Presentation
　Maria: Modular Reachability Analyser for Algebraic System Nets
Author Index