Transactions on Petri Nets and Other Models of Concurrency X

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Koutny, Maciej (Επιμελητής έκδοσης), Desel, Jörg (Επιμελητής έκδοσης), Haddad, Serge (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
• Έκδοση: 1st ed. 2015.
• Σειρά: Lecture Notes in Computer Science, 9410
• Θέματα: 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...

Πίνακας περιεχομένων:

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