BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Christian Rohr

Christian Rohr contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
hep-phMolecular NetworksSoftware Engineering

Trust snapshot

Quick read

Trust 15 - UnverifiedVerification L1Unclaimed author
3works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

3 published item(s)

preprint2013arXiv

Model Checking Contest @ Petri Nets, Report on the 2013 edition

This document presents the results of the Model Checking Contest held at Petri Nets 2013 in Milano. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the third edition after two successful editions in 2011 and 2012. The participating tools were compared on several examinations (state space generation and evaluation of several types of formulæ -- reachability, LTL, CTL for various classes of atomic propositions) run on a set of common models (Place/Transition and Symmetric Petri nets). After a short overview of the contest, this paper provides the raw results from the contest, model per model and examination per examination. An HTML version of this report is also provided (http://mcc.lip6.fr).

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

JAK/STAT signalling - an executable model assembled from molecule-centred modules demonstrating a module-oriented database concept for systems- and synthetic biology

We describe a molecule-oriented modelling approach based on a collection of Petri net models organized in the form of modules into a prototype database accessible through a web interface. The JAK/STAT signalling pathway with the extensive cross-talk of its components is selected as case study. Each Petri net module represents the reactions of an individual protein with its specific interaction partners. These Petri net modules are graphically displayed, can be executed individually, and allow the automatic composition into coherent models containing an arbitrary number of molecular species chosen ad hoc by the user. Each module contains metadata for documentation purposes and can be extended to a wiki-like minireview. The database can manage multiple versions of each module. It supports the curation, documentation, version control, and update of individual modules and the subsequent automatic composition of complex models, without requiring mathematical skills. Modules can be (semi-) automatically recombined according to user defined scenarios e.g. gene expression patterns in given cell types, under certain physiological conditions, or states of disease. Adding a localisation component to the module database would allow to simulate models with spatial resolution in the form of coloured Petri nets. As synthetic biology application we propose the fully automated generation of synthetic or synthetically rewired network models by composition of metadata-guided automatically modified modules representing altered protein binding sites. Petri nets composed from modules can be executed as ODE system, stochastic, hybrid, or merely qualitative models and exported in SMBL format.

0 citations0 reviewsNo code linkedOpen access