Application and theory of petri nets and concurrency : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, proceedings / Victor Khomenko, Olivier H. Roux (eds.).

By:

(39th : International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (39th : 2018 : Bratislava, Slovakia)

Contributor(s):

Material type: Text

TextSeries: Lecture notes in computer science ; 10877. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publication details: Cham : Springer, 2018.Description: 1 online resourceContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783319912684
3319912682

Other title:

PETRI NETS 2018

Subject(s): Genre/Form:

Additional physical formats: Print version:: Application and theory of petri nets and concurrency.DDC classification:

511.3/5 23

LOC classification:

QA267

Online resources:

Click here to access online

Contents:

Petri Nets Synthesis -- Analysis and Model Checking -- Languages -- Semantics and Expressiveness -- Tools.

In: Springer eBooksSummary: This book constitutes the proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018, held in Bratislava, Slovakia, in June 2018. Petri Nets 2017 is co-located with the 19th International Conference on Application of Concurrency to System Design, ACSD 2018. The 15 regular and 8 tool papers, with 1 invited talk presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Petri Nets Synthesis; Analysis and Model Checking; Languages; Semantics and Expressiveness; and Tools.

Holdings ( 1 )
Title notes ( 5 )

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
eBook	e-Library	eBook LNCS		Available

Total holds: 0

International conference proceedings.

Includes author index.

Print version record.

Petri Nets Synthesis -- Analysis and Model Checking -- Languages -- Semantics and Expressiveness -- Tools.

This book constitutes the proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018, held in Bratislava, Slovakia, in June 2018. Petri Nets 2017 is co-located with the 19th International Conference on Application of Concurrency to System Design, ACSD 2018. The 15 regular and 8 tool papers, with 1 invited talk presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Petri Nets Synthesis; Analysis and Model Checking; Languages; Semantics and Expressiveness; and Tools.