This book constitutes the proceedings of the 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023, which took place in Lisbon, Portugal, in June 2023. The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Process mining; semantics; tools; verification; timed models; model transformation. The book also includes two invited talks in full paper length.

Produktinformation

Utgivningsdatum2023-05-28
Mått155 x 235 x 33 mm
Vikt724 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor466
FörlagSpringer International Publishing AG
ISBN9783031336195

Tillhör följande kategorier

Invited Talks.- From Process-Agnostic to Process-Aware Automation, Mining, and Prediction.- Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems inspired by Net Condition/Event Systems.- Process Mining.- There and Back Again: On the Reconstructability and Rediscoverabilty of Typed Jackson Nets.- ILP² Miner – Process Discovery for Partially Ordered Event Logs using Integer Linear Programming.- Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking.- Exact and Approximated Log Alignments for Processes with Inter-case Dependencies.- Semantics.- Taking Complete Finite Prefixes To High Level, Symbolically.- Interval Traces with Mutex Relation.- A Myhill-Nerode Theorem for Higher-Dimensional Automata.- Tools. -Hippo-CPS: A Tool for Verification and Analysis of Petri Net-based Cyber-Physical Systems.- Mochy : a tool for the modeling of concurrent hybrid systems.-Renew: Modularized Architecture and NewFeatures.- Explorative Process Discovery using Activity Projections.-Verification. -Computing Under-approximations of Multivalued Decision Diagram.-Stochastic Decision Petri Nets.- Token Trail Semantics – Modeling Behavior of Petri Nets with Labeled Petri Nets.- On the Reversibility of Circular Conservative Petri Nets.- Automated Polyhedral Abstraction Proving. -Experimenting with Stubborn Sets on Petri Nets.- Timed Models.- Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. -A state class based controller synthesis approach for Time Petri Nets.- Model Transformation.- Transforming Dynamic Condition Response Graphs to safe Petri Nets.- Enriching Heraklit Modules by Agent Interaction Diagrams.

Mer från samma författare

Portuguese Subjunctive

Luís Gomes, Maria Madalena Gonçalves

Inbunden, 2021

3 379 kr

Portuguese Subjunctive

Luís Gomes, Maria Madalena Gonçalves

Häftad, 2021

869 kr

Hardware Design and Petri Nets

Alex Yakovlev, Luis Gomes, Luciano Lavagno

Inbunden, 2000

2 159 kr

Hardware Design and Petri Nets

Alex Yakovlev, Luis Gomes, Luciano Lavagno

Häftad, 2010

2 159 kr

Behavioral Modeling for Embedded Systems and Technologies

Luis Gomes, Joao M. Fernandes

Inbunden, 2009

3 099 kr

Time, Science and the Critique of Technological Reason

José Esteban Castro, Bridget Fowler, Luís Gomes

Häftad, 2019

1 439 kr

Del 930

CONTROLO 2022

Luís Brito Palma, Rui Neves-Silva, Luís Gomes

Inbunden, 2022

5 729 kr

Del 930

CONTROLO 2022

Luís Brito Palma, Rui Neves-Silva, Luís Gomes

Häftad, 2023

5 729 kr

Time, Science and the Critique of Technological Reason

José Esteban Castro, Bridget Fowler, Luís Gomes

Inbunden, 2018

1 449 kr

Verde no Prato

Luís Gomes

Häftad, 2023

509 kr

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

Del 15427

Internet of Things – ICIOT 2024

Shunli Zhang, Liang-Jie Zhang

Häftad, 2024

819 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

729 kr

Compiler Construction

Albert Cohen

Häftad, 2014

719 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

729 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

749 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 219 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Du kanske också är intresserad av

Del 15714

Application and Theory of Petri Nets and Concurrency

Elvio Amparore, Łukasz Mikulski

Häftad, 2025

1 189 kr

Del 10877

Application and Theory of Petri Nets and Concurrency

Victor Khomenko, Olivier H. Roux

Häftad, 2018

749 kr

Del 14628

Application and Theory of Petri Nets and Concurrency

Lars Michael Kristensen, Jan Martijn van der Werf

Häftad, 2024

1 229 kr

Del 11522

Application and Theory of Petri Nets and Concurrency

Susanna Donatelli, Stefan Haar

Häftad, 2019

729 kr

Del 12152

Application and Theory of Petri Nets and Concurrency

Ryszard Janicki, Natalia Sidorova, Thomas Chatain

Häftad, 2020

729 kr

Del 10258

Application and Theory of Petri Nets and Concurrency

Wil van der Aalst, Eike Best

Häftad, 2017

749 kr

Del 9115

Application and Theory of Petri Nets and Concurrency

Raymond Devillers, Antti Valmari

Häftad, 2015

749 kr

Del 16567

Application and Theory of Petri Nets and Concurrency

Jörg Desel, Anna Kalenkova

Häftad, 2026

1 219 kr

Del 8489

Application and Theory of Petri Nets and Concurrency

Gianfranco Ciardo, Ekkart Kindler

Häftad, 2014

749 kr

Del 12734

Application and Theory of Petri Nets and Concurrency

Didier Buchs, Josep Carmona

Häftad, 2021

749 kr

Del 13929 i serien Lecture Notes in Computer Science

Application and Theory of Petri Nets and Concurrency

44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings

Häftad, Engelska, 2023

AvLuis Gomes,Robert Lorenz

1 189 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (10)

Häftad

729 kr

Skickas inom 10-15 vardagar

Häftad

729 kr

Skickas inom 10-15 vardagar

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

1 119 kr

Skickas inom 10-15 vardagar

Häftad

1 229 kr

Skickas inom 5-8 vardagar

Häftad

1 189 kr

Skickas inom 10-15 vardagar

Häftad

1 219 kr

Skickas inom 10-15 vardagar

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

749 kr

Skickas inom 10-15 vardagar

Produktinformation

Utgivningsdatum2023-05-28
Mått155 x 235 x 33 mm
Vikt724 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor466
FörlagSpringer International Publishing AG
ISBN9783031336195

Tillhör följande kategorier

Invited Talks.- From Process-Agnostic to Process-Aware Automation, Mining, and Prediction.- Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems inspired by Net Condition/Event Systems.- Process Mining.- There and Back Again: On the Reconstructability and Rediscoverabilty of Typed Jackson Nets.- ILP² Miner – Process Discovery for Partially Ordered Event Logs using Integer Linear Programming.- Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking.- Exact and Approximated Log Alignments for Processes with Inter-case Dependencies.- Semantics.- Taking Complete Finite Prefixes To High Level, Symbolically.- Interval Traces with Mutex Relation.- A Myhill-Nerode Theorem for Higher-Dimensional Automata.- Tools. -Hippo-CPS: A Tool for Verification and Analysis of Petri Net-based Cyber-Physical Systems.- Mochy : a tool for the modeling of concurrent hybrid systems.-Renew: Modularized Architecture and NewFeatures.- Explorative Process Discovery using Activity Projections.-Verification. -Computing Under-approximations of Multivalued Decision Diagram.-Stochastic Decision Petri Nets.- Token Trail Semantics – Modeling Behavior of Petri Nets with Labeled Petri Nets.- On the Reversibility of Circular Conservative Petri Nets.- Automated Polyhedral Abstraction Proving. -Experimenting with Stubborn Sets on Petri Nets.- Timed Models.- Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. -A state class based controller synthesis approach for Time Petri Nets.- Model Transformation.- Transforming Dynamic Condition Response Graphs to safe Petri Nets.- Enriching Heraklit Modules by Agent Interaction Diagrams.