Cover Image
Read Now

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

Full description

Bibliographic Details
Other Authors: Koutny, Maciej (Editor), Desel, Jörg (Editor), Haddad, Serge (Editor)
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:
Computer Science Logic And Foundations Of Programming
Software Engineering
Computer Science
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)

Similar Items