<?xml version="1.0" encoding="UTF-8"?>
<TEI xml:space="preserve" xmlns="http://www.tei-c.org/ns/1.0" 
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" 
xsi:schemaLocation="http://www.tei-c.org/ns/1.0 https://raw.githubusercontent.com/kermitt2/grobid/master/grobid-home/schemas/xsd/Grobid.xsd"
 xmlns:xlink="http://www.w3.org/1999/xlink">
	<teiHeader xml:lang="en">
		<fileDesc>
			<titleStmt>
				<title level="a" type="main"></title>
			</titleStmt>
			<publicationStmt>
				<publisher/>
				<availability status="unknown"><licence/></availability>
			</publicationStmt>
			<sourceDesc>
				<biblStruct>
					<analytic>
					</analytic>
					<monogr>
						<imprint>
							<date/>
						</imprint>
					</monogr>
					<idno type="MD5">45F1383C8BB467736ABE18F664D74F6B</idno>
				</biblStruct>
			</sourceDesc>
		</fileDesc>
		<encodingDesc>
			<appInfo>
				<application version="0.7.2" ident="GROBID" when="2023-03-24T16:45+0000">
					<desc>GROBID - A machine learning software for extracting information from scholarly documents</desc>
					<ref target="https://github.com/kermitt2/grobid"/>
				</application>
			</appInfo>
		</encodingDesc>
		<profileDesc>
			<abstract/>
		</profileDesc>
	</teiHeader>
	<text xml:lang="en">
		<body>
<div xmlns="http://www.tei-c.org/ns/1.0"><p>(C) 2011 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.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head>Editors' addresses:</head><p>Monika Heiner Brandenburg University of Technology at Cottbus Faculty of Mathematics, Natural Sciences and Computer Science Postbox 10 13 44 D-03013 Cottbus, Germany monika.heiner@informatik.tu-cottbus.de Hiroshi Matsuno Yamaguchi University Graduate School of Science and Engineering 1677-1 Yoshida, Yamaguchi 753-8512 Japan matsuno@sci.yamaguchi-u.ac.jp</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head>Preface</head><p>These proceedings contain the nine peer-reviewed contributions accepted for the Second International Workshop on Biological Processes &amp; Petri Nets (BioPPN 2011), held as a satellite event of PETRI NETS 2011, in Newcastle, UK, on June 20, 2011. This workshop has been organised as a communication platform for researchers interested in the application of Petri nets in the broad field of integrative biology.</p><p>Integrative biology aims at deciphering essential biological processes that are driven by complex mechanisms, involving miscellaneous interacting molecular compounds. In this context, the need for appropriate mathematical and computational modelling tools is widely advocated. 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 fundamental research.</p><p>We received two types of contributions: research papers and work-in-progress papers. All papers have been reviewed by four to six reviewers coming from or being recommended by the workshop's Program Committee. The list of reviewers comprises 30 professionals of the field. The nine accepted papers (with an acceptance rate of 82%) involve 41 authors coming from 9 different countries. In summary, the workshop proceedings enclose theoretical contributions as well as biological applications, demonstrating the interdisciplinary nature of the topic.</p><p>The workshop was complemented by an invited talk Systems Biology in Supercomputing Environment given by Satoru Miyano from Human Genome Center, Institute of Medical Science at the University of Tokyo in Japan.</p><p>As the hosting conference was originally planned to take place in Japan, it was an explicit goal of our workshop to promote the communication between Europe and Asia. We are especially glad that three papers from Japanese authors made it into the workshop. We would like to express our sympathy with the Japanese people and do hope that the precautions by the Steering committee will turn out to be overprotecting ones.</p><p>For more details see the workshop's website http://www-dssz.informatik.tu-cottbus.de/BME/BioPPN2011. </p></div><figure xmlns="http://www.tei-c.org/ns/1.0" type="table" xml:id="tab_0"><head></head><label></label><figDesc>Case Study of the Modular Petri Net Modeling Concept with Prospect to a Protein-Oriented Modeling Platform Mary Ann Blätke, Sonja Meyer and Wolfgang Marwan 117 Multi-cell Modelling Using Coloured Petri Nets Applied to Planar Cell Polarity Qian Gao, Fei Liu, David Tree and David Gilbert 135</figDesc><table><row><cell>Contents</cell><cell></cell></row><row><cell cols="2">Invited Talk: Systems Biology in Supercomputing Environment</cell></row><row><cell>Satoru Miyano</cell><cell></cell><cell>6</cell></row><row><cell cols="2">Optimal Control of Asynchronous Boolean Networks Modeled by Petri Nets</cell></row><row><cell>Koichi Kobayashi and Kunihiko Hiraishi</cell><cell></cell><cell>7</cell></row><row><cell cols="2">GReg : a Domain Specific Language for the Modeling of Genetic Regulatory</cell></row><row><cell>Mechanisms</cell><cell></cell></row><row><cell cols="2">Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo Lopez</cell></row><row><cell>and Alexis Marechal</cell><cell></cell><cell>21</cell></row><row><cell>Modelling Reaction Systems with Petri Nets</cell><cell></cell></row><row><cell cols="2">Jetty Kleijn, Maciej Koutny and Grzegorz Rozenberg</cell><cell>36</cell></row><row><cell cols="2">Parameter Estimation of Biological Pathways Using Data Assimilation and Model</cell></row><row><cell>Checking</cell><cell></cell></row><row><cell cols="2">Chen Li, Keisuke Kuroyanagi, Masao Nagasaki and Satoru Miyano</cell><cell>53</cell></row><row><cell cols="2">Studying Steady States in Biochemical Reaction Systems by Time Petri Nets</cell></row><row><cell>Louchka Popova-Zeugmann and Elisabeth Pelz</cell><cell></cell><cell>71</cell></row><row><cell cols="2">Two Modeling Methods for Signaling Pathways with Multiple Signals using UP-</cell></row><row><cell>PAAL</cell><cell></cell></row><row><cell>Shota Nakano and Shingo Yamaguchi</cell><cell></cell><cell>87</cell></row><row><cell cols="2">MPath2PN -Translating Metabolic Pathways into Petri Nets</cell></row><row><cell cols="2">Paolo Baldan, Nicoletta Cocco, Francesco De Nes, Mercè Llabrés Segura, Andrea</cell></row><row><cell>Marin and Marta Simeoni</cell><cell></cell><cell>102</cell></row><row><cell>Pain Signaling -A</cell><cell></cell></row><row><cell>June 2011</cell><cell cols="2">Monika Heiner and Hiroshi Matsuno</cell></row></table></figure>
		</body>
		<back>
			<div type="annex">
<div xmlns="http://www.tei-c.org/ns/1.0" />			</div>
			<div type="references">

				<listBibl/>
			</div>
		</back>
	</text>
</TEI>
