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.-...

• 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"