IMDEA Networks Institute Publications Repository

Transactions on Petri Nets and Other Models of Concurrency VI: Aims and Scope (Editorial)

Jensen, Kurt and van der Aalst, Wil M. and Ajmone Marsan, Marco and Franceschinis, Giuliana and Klejin, Jetty and Kristensen, Lars Michael (2012) Transactions on Petri Nets and Other Models of Concurrency VI: Aims and Scope (Editorial). In: Lecture Notes in Computer Science. Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), 7400 . Springer, pp. 1-17. ISBN 978-3-642-35178-5

[img]
Preview
PDF (LNCS Transactions on Petri Nets and Other Models of Concurrency: Aims and Scope) - Published Version
Download (149Kb) | Preview

Abstract

The sixth volume of ToPNoC includes revised versions of selected papers from workshops and tutorials held at the 32nd International Conference on Application and Theory of Petri Nets and Concurrency. It also contains a special section on Networks, Protocols, and Services, as well as a contributed paper submitted through the regular submission track of ToPNoC. The 14 papers cover a diverse range of topics including model checking and system verification, synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Thus this volume gives a good view of ongoing concurrent systems and Petri nets research.

Item Type: Book Chapters
Additional Information: The sixth volume of ToPNoC includes revised versions of selected papers from workshops and tutorials held at the 32nd International Conference on Application and Theory of Petri Nets and Concurrency. It also contains a special section on Networks, Protocols, and Services, as well as a contributed paper submitted through the regular submission track of ToPNoC. The 14 papers cover a diverse range of topics including model checking and system verification, synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Thus this volume gives a good view of ongoing concurrent systems and Petri nets research.
Uncontrolled Keywords: Asynchronous communicating automata - coloured Petri Nets - domain specific languages - model checking - stochastic activity networks.
Subjects: Q Science > Q Science (General)
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
T Technology > T Technology (General)
T Technology > TA Engineering (General). Civil engineering (General)
T Technology > TK Electrical engineering. Electronics Nuclear engineering
Divisions: Faculty of Engineering, Science and Mathematics > School of Electronics and Computer Science
Depositing User: Rebeca De Miguel
Date Deposited: 30 Jan 2013 09:17
Last Modified: 30 Nov 2016 08:46
URI: http://eprints.networks.imdea.org/id/eprint/406

Actions (login required)

View Item View Item