=Paper=
{{Paper
|id=Vol-1159/preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1159/preface.pdf
|volume=Vol-1159
}}
==None==
https://ceur-ws.org/Vol-1159/preface.pdf
Monika Heiner (Ed.)
Biological Processes & Petri Nets
5th International Workshop BioPPN 2014
Tunis, 23 June 2014
Proceedings
CEUR Workshop Proceedings
Volume 1159
Editor:
Monika Heiner
Brandenburg University of Technology Cottbus-Senftenberg
Computer Science Institute
Data Structures and Software Dependability
03013 Cottbus, Germany
monika.heiner@b-tu.de
Online available as CEUR Workshop Proceedings (ISSN 1613-0073), Volume 1159
http://CEUR-WS.org/Vol-1159/
BibTEX entry:
@proceedings{bioppn2014,
editor = {Monika Heiner},
title = {Proceedings of the 5th International Workshop on
Biological Processes \& Petri Nets (BioPPN 2014),
satellite event of Petri Nets 2014, Tunis, Tunisia, June 23, 2014},
booktitle = {Biological Processes \& Petri Nets},
location = {Tunis, Tunisia},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {Vol-1159},
year = {2014},
url = {http://CEUR-WS.org/Vol-1159/}
}
Copyright c 2014 for the individual papers by the papers’ authors. Copying permitted
for private and academic purposes. Re-publication of material from this volume requires
permission by the copyright owners.
Preface
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 as satellite event of PETRI NETS 2014.
The workshop had been organised to provide a platform for researchers aim-
ing at fundamental research and real life applications of Petri nets 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. The
need for appropriate mathematical and computational modelling tools is widely
acknowledged.
Petri nets 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). This undoubtedly contributes
to bridging the gap between different formalisms, and helps to unify diversity.
Thus, 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
research of formal foundations.
There were six submissions to the BioPPN workshop. One of the papers
had been originally submitted to the PNSE workshop, and reviewed by the
PNSE programme committee. Following the recommendation of these reviews,
this paper has then been moved to the BioPPN workshop. In summary, each
submission was reviewed by at least three, and on the average four, program
committee members. The list of reviewers comprises 17 professionals of the field
coming from 12 different countries and writing in total 28 reviews, most of them
of substantial length.
The programme committees decided finally to accept five papers. The five ac-
cepted peer-reviewed papers (with an acceptance rate of 83%) involve 16 authors
coming from seven different countries.
The program also includes one invited talk on Mathematical models on cancer
progression given by Marco Beccuti from Università degli Studi di Torino. In
summary, the workshop proceedings enclose theoretical contributions as well as
biological applications, demonstrating the interdisciplinary nature of the topic.
For more details see the workshops website http://www-dssz.informatik.tu-
cottbus.de/BME/BioPPN2014.
We acknowledge substantial support by the EasyChair management system,
see http://www.easychair.org, during the reviewing process and the production
of these proceedings.
June 20, 2014 Monika Heiner
Cottbus
iii
This page is intentionally left blank.
iv
Table of Contents
Mathematical models on cancer progression (invited talk) . . . . . . . . . . . . . 1
Marco Beccuti
Overcoming unknown kinetic data for quantitative modelling of
biological systems using fuzzy logic and Petri nets . . . . . . . . . . . . . . . . . . . . . 3
Jure Bordon, Miha Moškon and Miha Mraz
A multi-scale extensive Petri net model of the bacterial-macrophage
interaction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
Rafael V. Carvalho, Jetty Kleijn and Fons Verbeek
Systemic approach for toxicity analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
Cinzia Di Giusto, Hanna Klaudel and Franck Delaplace
Integrating a priori knowledge in automatic network reconstruction . . . . . 45
Marie C.F. Favre, Wolfgang Marwan and Annegret Wagler
Coloured hybrid Petri nets for systems biology . . . . . . . . . . . . . . . . . . . . . . . . 60
Mostafa Herajy, Fei Liu and Christian Rohr
v
Program Committee
Gianfranco Balbo University of Torino, Computer Science Depart-
ment, Italy
Rainer Breitling University of Manchester, Manchester Institute of
Biotechnology, UK
Claudine Chaouiya Insituto Gulbenkian de Ciência, Oeiras, Network
Modelling Group, Portugal
Ming Chen Zhejiang University, College of Life Sciences,
Department of Bioinformatics, China
David Gilbert Brunel University, Centre for Systems and Synthetic
Biology, UK
Simon Hardy Université Laval, Institut universitaire en santé men-
tale de Québec, Canada
Monika Heiner Brandenburg University of Technology Cottbus-
Senftenberg, Computer Science Institute, Germany
Mostafa Herajy Port Said University, Mathematics and Computer
Science Department, Egypt
Peter Kemper College of William and Mary, Department of Com-
puter Science, USA
Sriram Krishnamachari Indraprastha Institute of Information Technology
(IIIT), India
Chen Li Zhejiang University, School of Medicine, Center for
Genetic & Genomic Medicine, China
Fei Liu Harbin Institute of Technology, Control and Simu-
lation Center, China
Wolfgang Marwan Otto von Guericke University Magdeburg & Magde-
burg Centre for Systems Biology, Germany
Hiroshi Matsuno Yamaguchi University, Graduate School of Science
and Engineering, Japan
P.S. Thiagarajan National University of Singapore, School of Comput-
ing, Department of Computer Science, Singapore
vi
Author Index
B
Beccuti, Marco 1
Bordon, Jure 3
C
Carvalho, Rafael V. 15
D
Delaplace, Franck 30
Di Giusto, Cinzia 30
F
Favre, Marie C.F. 45
H
Herajy, Mostafa 60
K
Klaudel, Hanna 30
Kleijn, Jetty 15
L
Liu, Fei 60
M
Marwan, Wolfgang 45
Moškon, Miha 3
Mraz, Miha 3
R
Rohr, Christian 60
V
Verbeek, Fons 15
W
Wagler, Annegret 45