Results 1 - 10 of 5,186

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

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

Workflow Mining: Discovering process models from event logs

by W.M.P. van der Aalst, A.J.M.M. Weijter, L. Maruster - IEEE Transactions on Knowledge and Data Engineering , 2003
"... Contemporary workflow management systems are driven by explicit process models, i.e., a completely specified workflow design is required in order to enact a given workflow process. Creating a workflow design is a complicated time-consuming process and typically there are discrepancies between the ac ..."
Abstract - Cited by 400 (57 self) - Add to MetaCart
executed. We present a new algorithm to extract a process modelf3q such a log and represent it in terms of a Petri net. However, we will also demonstrate that it is not possible to discover arbitrary workflow processes. In this paper we explore a classof workflow processes that can be discovered. We show

Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems

by Kurt Jensen, Lars Michael Kristensen , Lisa Wells - INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER , 2007
"... Coloured Petri Nets (CPNs) is a language for the modelling and validation of systems in which concurrency, communication, and synchronisation play a major role. Coloured Petri Nets is a discrete-event modelling language combining Petri nets with the functional programming language Standard ML. Petri ..."
Abstract - Cited by 172 (2 self) - Add to MetaCart
Coloured Petri Nets (CPNs) is a language for the modelling and validation of systems in which concurrency, communication, and synchronisation play a major role. Coloured Petri Nets is a discrete-event modelling language combining Petri nets with the functional programming language Standard ML

On the Abstraction of Coloured Petri Nets

by Charles Lakos - Proceedings of Petri Net Conference 97 , 1997
"... ion of Coloured Petri Nets Charles Lakos, Computer Science Department, University of Tasmania, GPO Box 252C, Hobart, TAS, 7001, Australia. Email: Charles.Lakos@cs.utas.edu.au Abstract: This paper considers the appropriate properties for abstract net components in the Coloured Petri Net formalism. I ..."
Abstract - Cited by 19 (7 self) - Add to MetaCart
been made for abstraction and hierarchy constructs for Petri Nets (PTNs) in general, and Coloured Petri Nets (CPNs) in particular. Some of these emphasise conceptual issues, where the abstractions are used primarily to aid the process of developing a Petri Net model, but are subsequently discarded

Game Coloured Petri Nets

by M. Westergaard - In Proc. of 7th CPN Workshop, volume 579 of DAIMI-PB , 2006
"... Abstract. This paper introduces the notion of game coloured Petri nets. This allows the modeler to explicitly model what parts of the model comprise the modeled system and what parts are the environment of the modeled system. We give the formal definition of game coloured Petri nets, a means of reac ..."
Abstract - Cited by 4 (3 self) - Add to MetaCart
Abstract. This paper introduces the notion of game coloured Petri nets. This allows the modeler to explicitly model what parts of the model comprise the modeled system and what parts are the environment of the modeled system. We give the formal definition of game coloured Petri nets, a means

The practitioner's guide to coloured Petri nets

by Lars M. Kristensen, Søren Christensen, Kurt Jensen - International Journal on Software Tools for Technology Transfer , 1998
"... Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of application areas and many CPN projects have been carried out in industry, e.g., in the areas of communication protocols, operating systems, ..."
Abstract - Cited by 98 (17 self) - Add to MetaCart
Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of application areas and many CPN projects have been carried out in industry, e.g., in the areas of communication protocols, operating systems

A Framework for Comparing Models of Computation

by Edward A. Lee, Alberto Sangiovanni-Vincentelli - IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS , 1998
"... We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general terms as sets of possible behaviors. A process is determinate if, given the constraints imposed by the inputs, there are exactly o ..."
Abstract - Cited by 322 (67 self) - Add to MetaCart
with rendezvous, Petri nets, and discrete-event systems.

Coloured Petri Nets Refinements

by L. Petrucci, A. Sanogo
"... Abstract. Coloured Petri nets allow for modelling complex concurrent systems, but the specification of such systems remains a challenging task. Two approaches are generally used to lessen these difficulties: decomposition and refinement. Charles Lakos proposed three kinds of refinements for coloured ..."
Abstract - Add to MetaCart
Abstract. Coloured Petri nets allow for modelling complex concurrent systems, but the specification of such systems remains a challenging task. Two approaches are generally used to lessen these difficulties: decomposition and refinement. Charles Lakos proposed three kinds of refinements

SPNP: Stochastic Petri Net Package

by Gianfranco Ciardo, Jogesh Muppala, Kishor Trivedi , 1989
"... We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as marking dependent arc multiplicities, enabling functions, arrays of places or transitions, and subnets; in addition, the full expres ..."
Abstract - Cited by 197 (37 self) - Add to MetaCart
We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as marking dependent arc multiplicities, enabling functions, arrays of places or transitions, and subnets; in addition, the full
Results 1 - 10 of 5,186