Transactions on Petri Nets and Other Models of Concurrency X, 1st ed. 2015 Transactions on Petri Nets and Other Models of Concurrency Series
Coordonnateurs : Koutny Maciej, Desel Jörg, Haddad Serge
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
Date de parution : 12-2015
Ouvrage de 177 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierThème de Transactions on Petri Nets and Other Models of Concurrency X :
Mots-clés :
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