Results 1 - 10
of
6,901
Petri Nets
- ACM Computing Surveys
, 1977
"... Over the last decade, the Petri net has gamed increased usage and acceptance as a basic model of systems of asynchronous concurrent computation. This paper surveys the basic concepts and uses of Petm nets. The structure of Petri nets, their markings and execution, several examples of Petm net models ..."
Abstract
-
Cited by 244 (0 self)
- Add to MetaCart
Over the last decade, the Petri net has gamed increased usage and acceptance as a basic model of systems of asynchronous concurrent computation. This paper surveys the basic concepts and uses of Petm nets. The structure of Petri nets, their markings and execution, several examples of Petm net
The Application of Petri Nets to Workflow Management
, 1998
"... Workflow management promises a new solution to an age-old problem: controlling, monitoring, optimizing and supporting business processes. What is new about workflow management is the explicit representation of the business process logic which allows for computerized support. This paper discusses the ..."
Abstract
-
Cited by 533 (64 self)
- Add to MetaCart
the use of Petri nets in the context of workflow management. Petri nets are an established tool for modeling and analyzing processes. On the one hand, Petri nets can be used as a design language for the specification of complex workflows. On the other hand, Petri net theory provides for powerful analysis
Hybrid Petri nets
- European Control Conference Grenoble
, 1991
"... Abstract. Petri nets (PNs) are widely used to model discrete event dynamic systems (computer systems, manu-facturing systems, communication systems, etc). Continuous Petri nets (in which the markings are real numbers and the transition firings are continuous) were defined more recently; such a PN ma ..."
Abstract
-
Cited by 139 (2 self)
- Add to MetaCart
Abstract. Petri nets (PNs) are widely used to model discrete event dynamic systems (computer systems, manu-facturing systems, communication systems, etc). Continuous Petri nets (in which the markings are real numbers and the transition firings are continuous) were defined more recently; such a PN
The Petri Net Markup Language
- Petri Net Newsletter
, 2000
"... Abstract. The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. PNML supports any version of Petri net since new Petri net types can be defined by so-called Petri Net Type Definitions (PNTD). In this paper, we present the syntax and the semantics of PNML as well as ..."
Abstract
-
Cited by 52 (9 self)
- Add to MetaCart
Abstract. The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. PNML supports any version of Petri net since new Petri net types can be defined by so-called Petri Net Type Definitions (PNTD). In this paper, we present the syntax and the semantics of PNML as well
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net
- IEEE Transactions on Software Engineering
, 1994
"... Petri net ..."
From Coloured Petri Nets to Object Petri Nets
, 1995
"... ion Abstract: This paper seeks to establish within a formal framework how Coloured Petri Nets can be enhanced to produce Object Petri Nets. It does so by defining a number of intermediate Petri Net formalisms and identifying the features introduced at each step of the development. Object Petri Nets ..."
Abstract
-
Cited by 63 (7 self)
- Add to MetaCart
ion Abstract: This paper seeks to establish within a formal framework how Coloured Petri Nets can be enhanced to produce Object Petri Nets. It does so by defining a number of intermediate Petri Net formalisms and identifying the features introduced at each step of the development. Object Petri
The Dimensions of Petri Nets: The Petri Net Cube
- Bulletin of EATCS
, 1998
"... There exist many different Petri net formalisms. In this paper, we present the Petri Net Cube which helps to structure and classify the variety of Petri net formalisms. We show, that three basic aspects are sufficient for describing most classical Petri net formalisms. Since these aspects are ind ..."
Abstract
-
Cited by 3 (1 self)
- Add to MetaCart
There exist many different Petri net formalisms. In this paper, we present the Petri Net Cube which helps to structure and classify the variety of Petri net formalisms. We show, that three basic aspects are sufficient for describing most classical Petri net formalisms. Since these aspects
A Class of Generalized Stochastic Petri Nets for the Performance Analysis of Multiprocessor Systems
- ACM Trans. on Comp. Systems
, 1984
"... A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems ..."
Abstract
-
Cited by 307 (4 self)
- Add to MetaCart
A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems
Petri-Nets
"... • They are useful for modeling concurrent, distributed, asynchronous behaviors in ..."
Abstract
- Add to MetaCart
• They are useful for modeling concurrent, distributed, asynchronous behaviors in
Modular Analysis of Petri Nets
- The Computer Journal
, 2000
"... This paper shows how two of the most important analysis methods for Petri nets can be performed in ..."
Abstract
-
Cited by 32 (11 self)
- Add to MetaCart
This paper shows how two of the most important analysis methods for Petri nets can be performed in
Results 1 - 10
of
6,901