1 option
Lectures on Concurrency and Petri Nets : Advances in Petri Nets / edited by Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 3098.
- Lecture Notes in Computer Science, 0302-9743 ; 3098
- Language:
- English
- Subjects (All):
- Logic, Symbolic and mathematical.
- Computers.
- Algorithms.
- Computer logic.
- Computer networks.
- Information storage and retrieval.
- Mathematical Logic and Foundations.
- Computation by Abstract Devices.
- Algorithm Analysis and Problem Complexity.
- Logics and Meanings of Programs.
- Computer Communication Networks.
- Information Storage and Retrieval.
- Local Subjects:
- Mathematical Logic and Foundations.
- Computation by Abstract Devices.
- Algorithm Analysis and Problem Complexity.
- Logics and Meanings of Programs.
- Computer Communication Networks.
- Information Storage and Retrieval.
- Physical Description:
- 1 online resource (XX, 852 pages).
- Edition:
- First edition 2004.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
- System Details:
- text file PDF
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-27755-2
- 9783540277552
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.