latest update: June 23, 2015, at 07:41 AM
See you all next year at BioPPN 2016 in Torun.
CEUR Workshop Proceedings Vol. 1373
invited talks (joined sessions): Auditorium F
BioPPN workshop sessions: Room OF2072
UAE (Alumni association) on the roof of the Forum building
session chair: Monika Heiner
session chair: Hiroshi Matsuno
session chair: Annegret Wagler
session chair: Monika Heiner
Luis M. Torres
Centro de Modelización Matemática / Escuela Politécnica Nacional
A compact modeling approach for deterministic biological systems
Petri nets (an their extensions) have become a sound framework for modeling and analyzing several types of biochemical processes in Systems Biology. The extension that we present in this talk may be useful for obtaining a compact model for the dynamics of certain discrete deterministic systems. Our model relies on the definition of a priority relation between conflicting transitions, which is encoded by orienting the edges of a transition conflict graph. We provide a characterization in terms of a local consistency condition of those deterministic systems whose dynamic behavior can be encoded using our approach. Finally, we address the problem of providing an appropriate priority relation governing the dynamic behavior of the studied system by analyzing experimental data. Since performing wet-lab experiments is typically expensive and time-consuming, our aim is to design the experiments in such a way that as few of them suffice to gain the required information.
The goal of this workshop is to provide a platform for researchers aiming at fundamental research and real life applications of Petri nets and other concurrency models in Systems and Synthetic Biology.
Systems and Synthetic Biology are full of challenges and open issues, with adequate modelling and analysis techniques being one of them, specifically when multiple scales and multiple levels come into play. We are looking for approaches helping to bridge the gap between different formalisms, with Petri nets being one them, as they offer a family of related models, which can be used as a kind of umbrella formalism - models may share the network structure, but vary in their kinetic details (quantitative information).
Case studies in systems and synthetic biology demonstrating the specific power by the combined use of different Petri net classes are especially encouraged.
This workshop intends to gather students and researchers, who have interests in the application of Petri nets or other concurrency modelling and analysis techniques for biological processes. Its main goal will be to demonstrate that concurrency modelling and analysis can be effective techniques to tackle the issues which reside in many biological problems. The workshop also promotes discussions between advanced researchers and beginners, which may enhance the world-wide activities in the applications of concurrency techniques to biological processes.
Submitted papers should describe original work that has not been previously published and is not under review for publication elsewhere. All papers should be in LNCS format, and have to be submitted via EasyChair. The page limit given below includes figures, tables and references.
There are the following categories of submissions.
A submission should be clearly assigned to one category.
Based on the review process, a submission may be accepted as is, accepted with minor changes, rejected or selected for oral presentation only. In the latter case, an abstract will be published.
Proceedings will be electronically published with CEUR Workshop Proceedings (http://ceur-ws.org) with consecutive volume numbers for each workshop allocated with PETRI NETS 2015, and under the default copyright regulations:
The copyright for the individual items (subsuming any type of computer-represented files containing articles, software demos, videos, etc.) within a proceedings volume is owned by default by their respective authors. [http://ceur-ws.org]
Best papers will be proposed to be invited for the follow-up publication in Transactions on Petri Nets and other models of Concurrency (ToPNoC).
University Blaise Pascal (Clermont-Ferrand II), Faculty of Sciences and Technology, France
Registration is handled by the hosting conference website PETRI NETS 2015