Wojciech Penczek - Böcker

This volume presents recent research, challenging problems and solutionsin Intelligent Systems– covering the following disciplines: artificial andcomputational intelligence, fuzzy logic and other non-classic logics,intelligent database systems, information retrieval, information fusion,intelligent search (engines), data mining, cluster analysis, unsupervisedlearning, machine learning, intelligent data analysis, (group) decision supportsystems, intelligent agents and multi-agent systems, knowledge-based systems,imprecision and uncertainty handling, electronic commerce, distributed systems,etc. The book defines a common ground for sometimes seemingly disparateproblems and addresses them by using the paradigm of broadly perceived intelligentsystems. It presents a broad panorama of a multitude of theoretical andpractical problems which have been successfully dealt with using the paradigmof intelligent computing.

This volume presents recent research, challenging problems and solutionsin Intelligent Systems– covering the following disciplines: artificial andcomputational intelligence, fuzzy logic and other non-classic logics,intelligent database systems, information retrieval, information fusion,intelligent search (engines), data mining, cluster analysis, unsupervisedlearning, machine learning, intelligent data analysis, (group) decision supportsystems, intelligent agents and multi-agent systems, knowledge-based systems,imprecision and uncertainty handling, electronic commerce, distributed systems,etc. The book defines a common ground for sometimes seemingly disparateproblems and addresses them by using the paradigm of broadly perceived intelligentsystems. It presents a broad panorama of a multitude of theoretical andpractical problems which have been successfully dealt with using the paradigmof intelligent computing.

This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets.

This book constitutes the refereed proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science, MFCS '96, held in Crakow, Poland in September 1996.The volume presents 35 revised full papers selected from a total of 95 submissions together with 8 invited papers and 2 abstracts of invited talks. The papers included cover issues from the whole area of theoretical computer science, with a certain emphasis on mathematical and logical foundations. The 10 invited presentations are of particular value.

This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets.

This volume consists of the proceedings of the 31th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010). The Petri Net conferences serve as annual meeting places to discuss the progress in the ?eld of Petri nets and related models of conc- rency. They provide a forum for researchers to present and discuss both app- cations and theoretical developments in this area. Novel tools and substantial enhancements to existing tools can also be presented. The satellite program of the conference comprised ?ve workshops and three tutorials. This year, the c- ference was co-located with the 10th International Conference on Application of Concurrency to System Design (ACSD 2010). The two conferences shared ?ve invited speakers. Detailed information about PETRI NETS 2010 can be found at http://petrinets2010. di. uminho. pt. The PETRI NETS 2010 conference was organized by the Universidade du Minho and the Instituto Polytecnico de Beja. It took place in Braga, Portugal during June 21-25, 2010. We would like to express our deepest thanks to the Organizing Committee, chaired by Joao M. Fernandes, for the time and e?ort invested in the conference and for all the help with local organization.We are also grateful for the ?nancial support by Centro de Ciencias e Tecnologias de Computacao. Thisyearthenumberofsubmittedpapersamountedto50,whichincluded43 full papers and 7 tool papers. The authors of the papers come from 20 di?erent countries. We thank allthe authorswho submitted their papers.

The 12th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 37th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2016, and the 16th International Conference on Application of Concurrency to System Design, ACSD 2016. It also contains one paper submitted directly to ToPNoC.The 9 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: security, service composition, databases, communication protocols, business processes, and distributed systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.