Transactions on Petri Nets and Other Models of Concurrency X
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...
Other Authors: | , , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2015, 2015
|
Edition: | 1st ed. 2015 |
Series: | Transactions on Petri Nets and Other Models of Concurrency
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
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)