Transactions on Petri Nets and Other Models of Concurrency XII

• Corporate Author: SpringerLink (Online service)
• Other Authors: Koutny, Maciej (Editor), Kleijn, Jetty (Editor), Penczek, Wojciech (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
• Series: Lecture Notes in Computer Science, 10470
• Subjects: Computer science.; Software engineering.; Data structures (Computer science).; Algorithms.; Computer logic.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Data Structures.

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