Vol-1373
urn:nbn:de:0074-1373-4

Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

BioPPN 2015
Biological Processes & Petri Nets

Proceedings of the 6th International Workshop on Biological Processes & Petri Nets
co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015)

Brussels, Belgium, June 22, 2015.

Edited by

Monika Heiner *
Annegret K. Wagler **

* Brandenburg Technical University Cottbus-Senftenberg, Faculty of Mathematics, Natural Sciences and Computer Science, Computer Science Institute, 03013 Cottbus, Germany
** University Blaise Pascal (Clermont-Ferrand II), Faculty of Sciences and Technology, ISIMA - LIMOS - CNRS, BP 10125, 63173 Aubiére, France

Table of Contents

Preface

The dynamics of deterministic systems - A survey (invited paper) 1-20
Luis M. Torres, Annegret K. Wagler
Petri nets for modelling and analysing trophic networks 21-36
Paolo Baldan, Martina Bocci, Daniele Brigolin, Nicoletta Cocco, Marta Simeoni
A Colored Petri net approach for spatial Biomodel Engineering based on the modular model composition framework Biomodelkit 37-54
Mary Ann Blätke, Christian Rohr
On Modeling internal organs and meridian system based on traditional Chinese medicine 55-69
Qi-Wei Ge, Ren Wu, Mitsuru Nakata
Full structural model refinement as type refinement of colored Petri nets 70-84
Diana-Elena Gratie, Ion Petre
Dependent shrink for Petri net models of signaling pathways 85-99
Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno

The whole proceedings can also be downloaded as a single file (PDF, including title pages, preface, table of contents, author index).

2015-06-19: submitted by Monika Heiner, metadata incl. bibliographic data published under Creative Commons CC0
2015-06-19: published on CEUR-WS.org |valid HTML5|