• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 6,901
Next 10 →

Petri Nets

by James L. Peterson - 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

by W.M.P. Van Der Aalst , 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

by Ren ´e David - 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

by Michael Weber, Ekkart Kindler, Technische Universität München, Fakultät Für Informatik - 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

by Gianfranco Ciardo, Reinhard German, Christoph Lindemann - IEEE Transactions on Software Engineering , 1994
"... Petri net ..."
Abstract - Cited by 94 (16 self) - Add to MetaCart
Petri net

From Coloured Petri Nets to Object Petri Nets

by Charles Lakos , 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

by Ekkart Kindler, Michael Weber - 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

by Gianfranco Balbo, Gianni Conte, Marco Ajmone Marsan, Gianni Conte - 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

by Prepared Aaron Halverson, Rich Otten
"... • 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

by Søren Christensen, Laure Petrucci - 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
Next 10 →
Results 1 - 10 of 6,901
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University