Description
Transactions on Petri Nets and Other Models of Concurrency X, 1st ed. 2015
Transactions on Petri Nets and Other Models of Concurrency Series
Coordinators: Koutny Maciej, Desel Jörg, Haddad Serge
Language: EnglishSubject for Transactions on Petri Nets and Other Models of Concurrency X:
Keywords
ad hoc networks; concurrency; formal methods; model checking; reconfigurable systems; algebraic Petri nets; B-method; bounded storage model; computing power; eternal security; extended finite control process; finite control process; information system; logic; mobile systems; Petri nets; pi-calculus; software engineering; timestamping; Web service composition
Support: Print on demand
Description
/li>Contents
/li>Comment
/li>
Verification of Logs - Revealing Faulty Processes of a Medical Laboratory.- An Everlasting Secure Non-interactive Timestamping Scheme in the Bounded Storage Model.- Timed Aggregate Graph: Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets.- SMT-based Abstract Parametric Temporal Planning.- Kleene Theorems for Synchronous Products with Matching.- Symbolic Model Checking of Security Protocols for Ad Hoc Networks on Any Topologies.- Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling.- Modelling and Analysis Mobile Systems Using π-Calculus (EFCP).
Contains selected extended papers from the workshops held at Petri Nets 2014 and ACSD 2014
Gives a good overview of current research in concurrent systems and Petri nets
Topics covered range from model checking and system verification, refinement, and synthesis to innovative applications of Petri nets and other models of concurrency
Includes supplementary material: sn.pub/extras