Lectures on Concurrency and Petri Nets :Advances in Petri Nets

• 其他作者: Desel, Jrg. , Reisig, Wolfgang. , Rozenberg, Grzegorz.
• 出版: Berlin ;Heidelberg : Springer-Verlag Berlin Heidelberg 2004.
• 稽核項: 1 online resource.
• 叢書名: Lecture Notes in Computer Science ;3098,
• 標題: software. , Computer Communication Networks. , COMPUTERS , Computation by Abstract Devices. , Computer software. , Logic design. , Logiciels. , Information storage and retrieval systems. , Informatique. , Electronic Data Processing , COMPUTERS Machine Theory. , Algorithm Analysis and Problem Complexity. , Information systems. , Structure logique. , Logics and Meanings of Programs. , Systèmes d'information. , Electronic books. , Software , Information Storage and Retrieval. , Information Systems , Machine Theory. , Computer science. , Information Systems Applications (incl. Internet) , Conference papers and proceedings.
• ISBN: 3540222618 , 9783540222613
• ISBN: 0302-9743
• 試查全文@TNUA:
  
• 附註: Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management -- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming -- Timed Automata: Semantics, Algorithms and Tools -- Petri Nets and Dependability -- Process Algebra -- A Coloured Petri Net Approach to Protocol Verification -- Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets -- A Survey on Non-interference with Petri Nets -- Synthesis of Asynchronous Hardware from Petri Nets -- Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned -- Unbounded Petri Net Synthesis -- Petri Nets and Software Engineering -- Model Validation in Controller Design -- Graph Grammars and Petri Net Transformations -- Message Sequence Charts -- Model-Based Development of Executable Business Processes for Web Services -- Modelling and Control with Modules of Signal Nets -- Application of Coloured Petri Nets in System Development -- Bigraphs for Petri Nets -- Notes on Timed Concurrent Constraint Programming -- Petri Nets and Manufacturing Systems: An Examples-Driven Tour -- Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems -- Object Petri Nets. Includes bibliographical references and author index.
• 摘要: This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichsttt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. This book will be useful as both a reference for those working in the area as well as a study book for the reader who is interested in an up-to-date overview of research and development in concurrent and distributed systems; of course, readers specifically interested in theoretical or applicational aspects of Petri nets will appreciate the book as well.
• 電子資源: https://dbs.tnua.edu.tw/login?url=https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=133918
• 系統號: 005323067
• 資料類型: 電子書
• 讀者標籤: 需登入
• 引用網址: 複製連結
• 目前引用數