Transactions on Petri Nets and Other Models of Concurrency VIII

By Maciej Koutny

Comparing Metabolic Pathways through Reactions and Potential Fluxes.- Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow.- Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms.- From Code to Coloured Petri Nets: Modelling Guidelines.- Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets.- When Can We Trust a Third Party?: A Soundness Perspective.- Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle.- Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators.- Model-Driven Middleware Support for Team-Oriented Process Management.- Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching.

• Format: Paperback
• Language: English
• ISBN: 3642404642
• ISBN13: 9783642404641
• Release Date: August 2013
• Publisher: Springer
• Length: 203 Pages
• Weight: 0.70 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"