• Aucun résultat trouvé

Preface

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "Preface"

Copied!
1
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Preface

These proceedings, part of the CEUR series, contain contributions accepted for and presented at the workshops organized as satellite events to the “31st International Conference on Application and Theory of Petri Nets and Other Models of Concur- rency” (PETRI NETS 2010) and the “10th International Conference on Application of Concurrency to System Design” (ACSD 2010), in Braga, Portugal, on June 21-22, 2010.

The five workshops were the following:

• Biological Processes & Petri Nets (BioPPN)

organized by Claudine Chaouiya and Monika Heiner

• Applications of Region Theory (ART) organized by J¨org Desel and Alex Yakovlev

• Petri Nets and Software Engineering (PNSE) organized by Michael Duvigneau and Daniel Moldt

• Abstractions for Petri Nets and Other models of Concurrency (APNOC) organized by Alexander Serebrenik and Natalia Sidorova,

• Scalable and Usable Model checking for Petri nets and other models of concur- rency (SUMo)

organized by Didier Buchs, Fabrice Kordon, Yann Thierry-Mieg, and Jeremy Sproston

All these workshops have been organised as a discussion platform for researchers interested in the application of Petri nets and other formal concurrency models in many current fields of study, namely in biology, synthesis, software engineering, and model checking. Independent reviewers have carefully reviewed all papers.

For more details, please see the PETRI NETS / ACSD 2010 website:

http://acsd-petrinets2010.di.uminho.pt January 2012

Susanna Donatelli Jetty Kleijn Ricardo J. Machado Jo˜ao M. Fernandes

Références

Télécharger maintenant ( PDF - 1 Page - 37.99 KB )

Documents relatifs

Proceedings of the 25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms

We will use a representation of Devroye [4, 5] for the binary search tree, and a well-known bijection between binary trees and recursive trees, together with different applications

Preface to the proceedings of the CIKM AnalytiCup 2020

Finally we thank GESIS – Leibniz Institute for the Social Sciences, Germany, Chongqing University of Technology, China, Heinrich- Heine-University Düsseldorf, Germany, and

Preface of the Joint Proceedings

Joint Proceedings of Modellierung 2020 Short, Workshop and Tools & Demo Papers CEUR-WS.org Proceedings, Volume 2542 1.. Preface of the Joint Proceedings of Modellierung 2020

International Workshop on Legal Data Analytics and Mining (LeDAM 2018): Preface to the Proceedings

The objectives of the LeDAM 2018 workshop are to: (1) Provide a venue for academic and industrial/governmental researchers and professionals to come together, present and

Proceedings of the 13th International Conference on Technology in Mathematics Teaching

The article reports on outcomes from a study that aims to investigate the role of affordances, level- up and feedback in the web environment Expression Machine in developing the

Proceedings of the 2014 International Applied Energetics and Pollution Conference, organized by the AEPL laboratory, December 14-15, 2014, Constantine, Algeria.

Proceedings of the 2014 International Applied Energetics and Pollution Conference, organized by the AEPL laboratory, December 14-15, 2014,..

WAFL 2014 : Proceedings of the 6th International Conference on the Assessment of Animal Welfare at Farm and Group Level

The program aims at improving the welfare status of cattle by: (1) monitoring mortality as an indicator of welfare; (2) benchmarking herds against the national population

Proceedings of the fourth international conference on central hypoventilation

Keywords: Central hypoventilation, Autonomic nervous system, Congenital central hypoventilation syndrome, PHOX2B gene, Hirschsprung ’ s disease, Alanine expansion, Central control