Koutny Maciej (ed.) Transactions on Petri Nets and Other Models of Concurrency X

Springer, 2015. — 190 p. — (Lecture Notes in Computer Science 9410). — ISBN: 9783662486498, 9783662486504.These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC.
Contains:
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: A 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 \(\pi \) -calculus (EFCP)