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.
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.
* 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
The dynamics of deterministic systems - A survey (invited paper)
Luis M. Torres, Annegret K. Wagler
Petri nets for modelling and analysing trophic networks
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
Mary Ann Blätke, Christian Rohr
On Modeling internal organs and meridian system based on traditional Chinese medicine
Qi-Wei Ge, Ren Wu, Mitsuru Nakata
Full structural model refinement as type refinement of colored Petri nets
Diana-Elena Gratie, Ion Petre
Dependent shrink for Petri net models of signaling pathways
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