• Aucun résultat trouvé

Introduction

N/A
N/A
Protected

Academic year: 2022

Partager "Introduction"

Copied!
2
0
0

Texte intégral

(1)

Introduction

This chapter contains the nine peer-reviewed contributions of the First International Workshop on Biological Processes & Petri Nets (BioPPN 2010), held as a satellite event of PETRI NETS 2010, in Braga, Portugal, at June 21, 2010. This workshop has been organised as a communication platform for researchers interested in the application of Petri nets in the broad field of integrative biology.

Integrative biology aims at deciphering essential biological processes that are driven by complex mechanisms, involving miscellaneous interacting molecular com- pounds. In this context, the need for appropriate mathematical and computational modelling tools is widely advocated. Petri nets have proved their usefulness for the modelling, analysis, and simulation of a diversity of biological networks, covering qualitative, stochastic, continuous and hybrid models. The deployment of Petri nets to study biological applications has not only generated original models, but has also motivated fundamental research.

We received two types of contributions: research papers and work-in-progress papers. All have been reviewed by four to five referees coming from or being recom- mended by the workshop’s Program Committee. In summary, the workshop proceed- ings enclose theoretical contributions as well as biological applications, demonstrating the interdisciplinary nature of the topic.

The workshop was complemented by an invited talk Why aren’t Petri nets widely used in biological research? given by Jorge Carneiro from Instituto Gulbenkian de Ciˆencia (IGC, Oeiras, Portugal). He argued that software tools for stochastic Petri nets are well-suited for engineering artificial systems, but do not yet offer all the functionalities one would wish to have at hand when modelling a natural biological system. He used two application examples of stochastic Petri nets to illustrate his concerns – modelling somatic recombination of immune receptor genes and ion channel gating in sea urchin spermatozoa.

The workshop gathered about 30 researchers actively working on or merely in- terested in the application of Petri nets to biological processes. Its main goal was to demonstrate that this field of application raises new challenges and that Petri nets can be highly effective to tackle such challenges. We take the lively discussion throughout the whole day of workshop as proof that this goal had been reached. For more de- tails see the workshop websitehttp://www-dssz.informatik.tu-cottbus.de/BME/

BioPPN2010.

Claudine Chaouiya

Instituto Gulbenkian de Ciˆencia, IGC Oeiras, Portugal

[email protected] Monika Heiner

Brandenburg University of Technology at Cottbus Computer Science Institute, Germany

[email protected]

(2)

Program Committee

• David Angeli, I, UK

• Gianfranco Balbo, I

• Rainer Breitling, NL

• David Gilbert, UK

• Simon Hardy, CA

• Ralf Hofest¨adt, D

• Peter Kemper, US

• Hanna Klaudel, F

• Kurt Lautenbach, D

• Wolfgang Marwan, D

• Eduardo Mendoza, Philippines, D

• Satoru Miyano, JP

• P.S. Thiagarajan, SG

Références

Documents relatifs

In this paper, we describe continuous traces of THPN as a particular automaton, an Event Clock automaton [4], based on a real time logic, the Event Clock logic [3]. This step needs

– by removing parallel composition from Petri nets with control flow and adding an exception control flow as white tokens in addition to black tokens, we have defined Petri nets

We identify two classes of branching processes and two types of unfoldings: weakly safe and faithful, and we show that every net admits a weakly safe and a faithful unfolding, which

In this talk an on-line approach for fault diagnosis of discrete event systems based on labeled Petri nets has been discussed.. Some results on diagnosability analysis have also

This volume contains the peer-reviewed papers presented at BioPPN 2014 – the 5th International Workshop on Biological Processes & Petri Nets held on June 23, 2014 in Tunis

The executions of wellformed ITPNs with zero duration and autoconcurrency under maximal step semantics are given by the so called firing step sequence as defined in [8], where a

In an ongoing example reconfigurable Petri nets are used to model and to verify partial dynamic reconfiguration of field programmable gate arrays using the tool ReconNet ([5] or

This volume contains the peer-reviewed papers accepted for BioPPN 2016 – the 7th International Workshop on Biological Processes & Petri Nets held on June 20, 2015 in Toruń