Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
53,591
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 245 (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 530 (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
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
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 138 (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
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 64 (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
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
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 Net Transformations in the ≫Petri Net Baukasten ≪ ⋆
"... Abstract. The purpose of this contribution is to give an overview of constructions and results for Petri net transformations in the ≫Petri Net Baukasten ≪ developed by the “DFG-Forschergruppe Petrinetz-Technologie”. The two main concepts of Petri net transformations considered in this context are ne ..."
Abstract
- Add to MetaCart
Abstract. The purpose of this contribution is to give an overview of constructions and results for Petri net transformations in the ≫Petri Net Baukasten ≪ developed by the “DFG-Forschergruppe Petrinetz-Technologie”. The two main concepts of Petri net transformations considered in this context
Results 1 - 10
of
53,591
