Overview

Full Product Details

Author:   Maciej Koutny ,  Jörg Desel ,  Jetty Kleijn
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   1st ed. 2016
Volume:   9930
Dimensions:   Width: 15.50cm , Height: 1.80cm , Length: 23.50cm
Weight:   5.153kg
ISBN:  

9783662534007

ISBN 10:   3662534002
Pages:   319
Publication Date:   10 September 2016
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification.- A Petri-Net-Based Approach to Model and Analyze the Management of Cloud Applications.- Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets.- Validating DCCP Simultaneous Feature Negotiation Procedure.- Integrating Petri Net Semantics in a Model-Driven Approach: The Renew Meta-modeling and Transformation Framework.- Mining Conditional Partial Order Graphs from Event Logs.- Conditions for Petri Net Solvable Binary Words.- Self-Tracking Reloaded: Applying Process Mining to Personalized Health Care from Labeled Sensor Data.- A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms.- Negotiations and Petri Nets.- A Formal Framework for Diagnostic Analysis for Errors of Business Processes.- MCC 2015- The Fifth Model Checking Contest.- Running LoLA 2.0 in a Model Checking Competition.- MARCIE's Secrets of Efficient Model Checking.- Symbolic ModelChecker for Petri Nets: pnmc.- TAPAAL and Reachability Analysis of P/T Nets.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions