BioPPN@Petri Nets

Keyphrases

Publications

2015

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

volume 1373, 2015

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. BioPPN@Petri Nets 1373 (2015)

2014

volume 1159, 2014

Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), Tunis, Tunisia, June 23, 2014. BioPPN@Petri Nets 1159 (2014)

2013

volume 988, 2013

Proceedings of the International Workshop on Biological Processes & Petri Nets, Milano, Italy, June 24, 2013 BioPPN@Petri Nets 988 (2013)