Transactions on petri nets and other models of concurrency XI. (2016)

• Record Type: Book
• Other Titles: Transactions on petri nets and other models of concurrency 11
• Further Information: Note: Maciej Koutny, Jörg Desel, Jetty Kleijn (eds.).
• Editors: Koutny, Maciej, 1958-; Desel, Jörg; Kleijn, Jetty
• Other Names: International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, 36th; International Conference on Application of Concurrency to System Design, 15th
• 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 Model Checker for Petri Nets: pnmc -- TAPAAL and Reachability Analysis of P/T Nets.
• Publisher Details: Berlin : Springer
• Publication Date: 2016
• Extent: 1 online resource (xviii, 319 pages), illustrations
• Subjects: 511.3/5; Petri nets -- Congresses; Computer multitasking -- Congresses; Computer multitasking; Petri nets; Computer Science; Software Engineering; Logics and Meanings of Programs; Electronic books; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783662534014; 3662534010; 3662534002; 9783662534007
• Related ISBNs: 9783662534007
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed September 9, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.