Daniel Moldt – författare

This book constitutes the proceedings of the 37th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2016, held in Toruń, Poland, in June 2016. Petri Nets 2016 was co-located with the Application of Concurrency to System Design Conference, ACSD 2016.The 16 papers including 3 tool papers with 4 invited talks presented together in this volume were carefully reviewed and selected from 42 submissions. Papers presenting original research on application or theory of Petri nets, as well as contributions addressing topics relevant to the general field of distributed and concurrent systems are presented within this volume.

Thisvolumepresentsselected,extendedandreviewedversionsofthepapersp- sented at the 1st International Workshop on Regulated Agent Systems: Theory and Applications (RASTA 2002), a workshop co-located with the 1st Internat- nalJointConferenceonAutonomousAgentsandMulti-AgentSystems(AAMAS 2002), which was held in Bologna, Italy, in July, 2002. In addition, several new papers on the workshop theme appear here as the result of a further call for participation. Agent-technology is the latest paradigm of software engineering methodology. The development of autonomous, mobile, and intelligent agents brings new ch- lenges to the ?eld. Agent technologies and multiagent systems are among the most vibrant and active research areas of computer science. At the same time commercialapplicationsofagentsaregainingattention.Theconstructionofar- ?cial (agent) societies leads to questions that already have been asked for human societies. Computer scientists have adopted terms like emerging behavior, se- organization,andevolutionarytheoryinanintuitivemanner.Multiagentsystem researchershavestartedtodevelopagentswithsocialabilitiesandcomplexsocial systems.However, most of these systems lack the foundation of the social sciences. The intention of the RASTA workshop, and of this volume, is to bring together researchers from computer science as well as the social sciences who see their common interest in social theories for the construction and regulation of mul- agent systems. A total of 17 papers appear in this volume, out of 31 papers submitted. Theyincludeninepaperspresentedintheworkshop(whosepreproceeedingswere published as Communications Vol. 318 Mitteilung 318 of Hamburg University, Faculty of Informatics), as well as six new papers. In addition, an invited paper from Bruce Edmonds re?ects some aspects of the lively discussions held during the workshop. The selection presented is divided into two major topics.

The 16th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 41st International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2020, and the 20th International Conference on Application of Concurrency to System Design, ACSD 2020.The 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: process mining, verification, formal semantics, distributed simulations, business processes, distributed systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.