Transactions on Petri Nets and Other Models of Concurrency X

• Corporate Author: SpringerLink (Online service)
• Other Authors: Koutny, Maciej (Editor), Desel, Jörg (Editor), Haddad, Serge (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
• Edition: 1st ed. 2015.
• Series: Lecture Notes in Computer Science, 9410
• Subjects: Computer science.; Software engineering.; Computer logic.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.

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 E...

Table of Contents:

• 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).