Transactions on Petri Nets and Other Models of Concurrency  VII: ToPNoC

Kurt Jensen; Wil M. van der Aalst; G. Balbo; M. Koutny; K. Wolf

doi:10.1007/978-3-642-38143-0

Transactions on Petri Nets and Other Models of Concurrency VII: ToPNoC

Kurt Jensen (Editor), Wil M. van der Aalst (Editor), G. Balbo (Editor), M. Koutny (Editor), K. Wolf (Editor)

Department of Computer Science

Research output: Book/anthology/dissertation/report › Anthology › Research

Abstract

The first section is concerned with the creation of Petri net models and their validation
The second section addresses semantic issues and analysis methods
The third section is devoted to the automatic synthesis of Petri nets
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 Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The seventh volume of ToPNoC contains revised material from the 5th International Summer School “Advanced Course on Petri Nets”, held in September 2010 in Rostock, Germany. The nine papers cover a diverse range of topics including modeling, verification, partial order semantics, and synthesis of Petri nets. In compliance with their origin as course material, the papers are written in survey or tutorial style and give a comprehensive overview of the state of the art in their respective areas.

Original language	English

Publisher	Springer VS
Number of pages	423
ISBN (Print)	978-3-642-38142-3
ISBN (Electronic)	978-3-642-38143-0
DOIs	https://doi.org/10.1007/978-3-642-38143-0
Publication status	Published - 10 May 2013

Series	Lecture Notes in Computer Science
Volume	7480
ISSN	0302-9743

Keywords

business processes
modeling
process mining
protocol design
state machines

Access to Document

10.1007/978-3-642-38143-0

http://link.springer.com/book/10.1007/978-3-642-38143-0/page/1

Cite this

@book{ac4f3cf8255342c392604dc61e6dced1,

title = "Transactions on Petri Nets and Other Models of Concurrency VII: ToPNoC",

abstract = "The first section is concerned with the creation of Petri net models and their validationThe second section addresses semantic issues and analysis methodsThe third section is devoted to the automatic synthesis of Petri netsThese 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 Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The seventh volume of ToPNoC contains revised material from the 5th International Summer School “Advanced Course on Petri Nets”, held in September 2010 in Rostock, Germany. The nine papers cover a diverse range of topics including modeling, verification, partial order semantics, and synthesis of Petri nets. In compliance with their origin as course material, the papers are written in survey or tutorial style and give a comprehensive overview of the state of the art in their respective areas.",

keywords = "business processes , modeling , process mining, protocol design, state machines",

editor = "Kurt Jensen and Aalst, {Wil M. van der} and G. Balbo and M. Koutny and K. Wolf",

year = "2013",

month = may,

day = "10",

doi = "10.1007/978-3-642-38143-0",

language = "English",

isbn = "978-3-642-38142-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer VS",

}

TY - BOOK

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

T2 - ToPNoC

A2 - Jensen, Kurt

A2 - Aalst, Wil M. van der

A2 - Balbo, G.

A2 - Koutny, M.

A2 - Wolf, K.

PY - 2013/5/10

Y1 - 2013/5/10

N2 - The first section is concerned with the creation of Petri net models and their validationThe second section addresses semantic issues and analysis methodsThe third section is devoted to the automatic synthesis of Petri netsThese 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 Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The seventh volume of ToPNoC contains revised material from the 5th International Summer School “Advanced Course on Petri Nets”, held in September 2010 in Rostock, Germany. The nine papers cover a diverse range of topics including modeling, verification, partial order semantics, and synthesis of Petri nets. In compliance with their origin as course material, the papers are written in survey or tutorial style and give a comprehensive overview of the state of the art in their respective areas.

AB - The first section is concerned with the creation of Petri net models and their validationThe second section addresses semantic issues and analysis methodsThe third section is devoted to the automatic synthesis of Petri netsThese 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 Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The seventh volume of ToPNoC contains revised material from the 5th International Summer School “Advanced Course on Petri Nets”, held in September 2010 in Rostock, Germany. The nine papers cover a diverse range of topics including modeling, verification, partial order semantics, and synthesis of Petri nets. In compliance with their origin as course material, the papers are written in survey or tutorial style and give a comprehensive overview of the state of the art in their respective areas.

KW - business processes

KW - modeling

KW - process mining

KW - protocol design

KW - state machines

U2 - 10.1007/978-3-642-38143-0

DO - 10.1007/978-3-642-38143-0

M3 - Anthology

SN - 978-3-642-38142-3

T3 - Lecture Notes in Computer Science

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

PB - Springer VS

ER -

Transactions on Petri Nets and Other Models of Concurrency VII: ToPNoC

Abstract

Keywords

Access to Document

Fingerprint

Cite this