Topic
Petri net
About: Petri net is a research topic. Over the lifetime, 25039 publications have been published within this topic receiving 406994 citations.
Papers published on a yearly basis
Papers
More filters
02 Jun 2008
TL;DR: A Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms, is given, which can be applied more widely to other formalisms used to model and analyse biochemical networks.
Abstract: We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each perspective adds its contribution to the understanding of the system, thus the three approaches do not compete, but complement each other. We illustrate our approach by applying it to an extended model of the three stage cascade, which forms the core of the ERK signal transduction pathway. Consequently our focus is on transient behaviour analysis. We demonstrate how qualitative descriptions are abstractions over stochastic or continuous descriptions, and show that the stochastic and continuous models approximate each other. Although our framework is based on Petri nets, it can be applied more widely to other formalisms which are used to model and analyse biochemical networks.
327 citations
TL;DR: A way of mapping workflow into Petri nets, which can be used as a basis for such systems as well as an agreed and standard modelling technique.
327 citations
05 Sep 2005
TL;DR: A Petri net semantics for the Business Process Execution Language for Web Services (BPEL) that covers the standard behaviour of BPEL as well as the exceptional behaviour (e.g. faults, events, compensation).
Abstract: We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL) Our semantics covers the standard behaviour of BPEL as well as the exceptional behaviour (eg faults, events, compensation) The semantics is implemented as a parser that translates BPEL specifications into the input language of the Petri net model checking tool LoLA We demonstrate that the semantics is well suited for computer aided verification purposes
325 citations
TL;DR: A formal definition of the Trellis model of hypertext is presented and an authoring and browsing prototype called αTrellis that is based on the model is described, which is a generalization of existing directed graph-based forms ofhypertext.
Abstract: We present a formal definition of the Trellis model of hypertext and describe an authoring and browsing prototype called aTrellis that is based on the model. The Trellis model not only represents the relationships that tie individual pieces of information together into a document (i.e., the adjacencies), but specifies the browsing semantics to be associated with the hypertext as well (i.e., the manner in which the information is to be visited and presented). The model is based on Petri nets, and is a generalization of existing directed graph-based forms of hypertext. The Petri net basis permits more powerful specification of what is to be displayed when a hypertext is browsed and permits application of previously developed Petri net analysis techniques to verify properties of the hypertext. A number of useful hypertext constructs, easily described in the Trellis model, are presented. These include the synchronization of simultaneous traversals of separate paths through a hypertext, the incorporation of access controls into a hypertext (i.e., specifying nodes that can be proven to be accessible only to certain classes of browsers), and construction of multiple specialized (tailored) versions from a single hypertext.
325 citations
Proceedings Article•
01 Jul 1993TL;DR: The theory of Petri nets is introduced as a tool for computer-implementable representation of pathways to overcome the present limitations and enable the preliminary qualitative analysis of pathways.
Abstract: The present methods for representing metabolic pathways are limited in their ability to handle complex systems, incorporate new information, and to provide for drawing qualitative conclusions from the structure of pathways. The theory of Pctri nets is introduced as a tool for cornputer-implementable representation of pathways. Petri nets have the potential to overcome the present limitations, and through a multitude of properties, enable the preliminary qualitative analysis of pathways.
325 citations