Transactions on Petri Nets and Other Models of Concurrency VIII

M. Koutny; W.M.P. Aalst, van der; A. Yakovlev

doi:10.1007/978-3-642-40465-8

Transactions on Petri Nets and Other Models of Concurrency VIII

M. Koutny (Editor), W.M.P. Aalst, van der (Editor), A. Yakovlev (Editor)

Process Science

Research output: Book/Report › Book editing › Academic

Abstract

The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). The 10 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: biological systems, communication protocols, business processes, collaborative team work, and Petri net education. Thus this volume gives a good view of ongoing concurrent systems and Petri nets research.

Original language	English
Place of Publication	Berlin
Publisher	Springer
Number of pages	203
ISBN (Electronic)	9783642404658
ISBN (Print)	978-3-642-40464-1
DOIs	https://doi.org/10.1007/978-3-642-40465-8
Publication status	Published - 2013
Event	33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Petri Nets 2012 - Hamburg, Germany Duration: 25 Jun 2012 → 29 Jun 2012

Publication series

Name	Lecture notes in computer science
Volume	8100
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-642-40465-8

Cite this

@book{74de9b983af148579299518fb82487ae,

title = "Transactions on Petri Nets and Other Models of Concurrency VIII",

abstract = "The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). The 10 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: biological systems, communication protocols, business processes, collaborative team work, and Petri net education. Thus this volume gives a good view of ongoing concurrent systems and Petri nets research.",

editor = "M. Koutny and {Aalst, van der}, W.M.P. and A. Yakovlev",

year = "2013",

doi = "10.1007/978-3-642-40465-8",

language = "English",

isbn = "978-3-642-40464-1",

series = "Lecture notes in computer science",

publisher = "Springer",

address = "Germany",

note = "33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Petri Nets 2012, PNSE '12 ; Conference date: 25-06-2012 Through 29-06-2012",

}

TY - BOOK

T1 - Transactions on Petri Nets and Other Models of Concurrency VIII

A2 - Koutny, M.

A2 - Aalst, van der, W.M.P.

A2 - Yakovlev, A.

PY - 2013

Y1 - 2013

N2 - The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). The 10 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: biological systems, communication protocols, business processes, collaborative team work, and Petri net education. Thus this volume gives a good view of ongoing concurrent systems and Petri nets research.

AB - The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). The 10 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: biological systems, communication protocols, business processes, collaborative team work, and Petri net education. Thus this volume gives a good view of ongoing concurrent systems and Petri nets research.

UR - http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-642-40465-8

U2 - 10.1007/978-3-642-40465-8

DO - 10.1007/978-3-642-40465-8

M3 - Book editing

SN - 978-3-642-40464-1

T3 - Lecture notes in computer science

BT - Transactions on Petri Nets and Other Models of Concurrency VIII

PB - Springer

CY - Berlin

T2 - 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Petri Nets 2012

Y2 - 25 June 2012 through 29 June 2012

ER -

Transactions on Petri Nets and Other Models of Concurrency VIII

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this