[Deadlines for all workshops co-located with PETRI NETS 2012 have been harmonized.]
[Apologies for cross-posting] [Please forward to colleagues who might be interested] ================================================================ Call for Papers BioPPN 2012 3rd International Workshop on Biological Processes and Petri Nets Hamburg, Germany, June 25, 2012 co-located with Petri Nets 2012& ACSD 2012 http://www-dssz.informatik.tu-cottbus.de/BME/BioPPN2012 ================================================================ *** IMPORTANT DATES *** submission of papers: 15 April 2012 Notification: 13 May 2012 Final version due: 1 June 2012 Workshop: 25 June 2012 *** TOPICS *** The goal of this workshop is to provide a platform for researchers aiming 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. 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 clearly contributes to bridging the gap between different formalisms, and helps to unify diversity. Topics of interest include, but are not limited to: * standard Petri nets for qualitative modelling and analysis, if kinetics are unknown or deliberately abstracted away; * discrete quantitative modelling by time(d) Petri nets; * stochastic Petri nets to account for intrinsic noise of molecular fluctuation, and/or sources of extrinsic noise; * continuous Petri nets (and thus Ordinary Differential Equations), back and forth; * hybrid Petri nets, or how to handle different abstraction and time scales in biological processes; * dedicated support of multi-scale issues; * case studies of metabolic, signalling, regulatory, and combined networks, or other biological applications; * dedicated analysis and simulation techniques; * related tool debvelopment, including exchange formats, dedicated to biological processes; Case studies in systems and synthetic biology demonstrating the specific power by the combined use of different Petri net classes are especially encouraged. *** PAPER SUBMISSION *** Submitted papers should describe original work that has not been previously published and is not under review for publication elsewhere. There are three categories of papers: - Regular papers should not exceed 15 p. in LNCS format. - "work in progress" papers, which have to be indicated as such. - Short papers presenting original results should not exceed 6 page; they can be selected for oral presentation. All papers should be in LNCS format, and will have to be submitted via EasyChair. *** Workshop Proceedings *** will be published electronically as CEUR Workshop Proceedings. This does not lead to a transfer of copyright to a publisher. *** Special Issue *** Best papers will be proposed to be invited for a follow-up publication in Transactions on Petri Nets and other models of Concurrency (ToPNoC). *** PROGRAMME COMMITTEE CO-CHAIRS *** Monika Heiner, D Ralf Hofestädt, D *** PROGRAMME COMMITTEE *** David Angeli, I Gianfranco Balbo, I Rainer Breitling, NL, UK Jorge Carneiro, PT Claudine Chaouiya, F, PT Ming Chen, CN David Gilbert, UK Simon Hardy, CA Peter Kemper, US Hanna Klaudel, F Hiroshi Matsuno, JP Satoru Miyano, JP P.S. Thiagarajan, SG website: http://www-dssz.informatik.tu-cottbus.de/BME/BioPPN2012 ================================================================ -- ----------------------------------------------- you might be interested in our latest paper: www.springerlink.com/content/t21n70p613h75m64/ ----------------------------------------------- Prof. Dr.-Ing. Monika Heiner Brandenburg University of Technology at Cottbus Computer Science Institute = Data Structures and Software Dependability = Postbox 10 13 44, 03013 Cottbus, Germany http://www-dssz.informatik.tu-cottbus.de/ [email protected] phone (+49-355) 69 3884,fax (+49-355) 69 3587 ----------------------------------------------- ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
