Results 1 - 10 of 163

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

Modeling Games with Petri Nets

by Manuel Araújo
"... This paper describes an alternate approach to the modeling of game systems and game flow with Petri nets. Modeling languages usually used in this area are of limited efficiency when it comes to validating the underlying game systems. We provide a case study to show that Petri Nets can be used with a ..."
Abstract - Cited by 4 (0 self) - Add to MetaCart
This paper describes an alternate approach to the modeling of game systems and game flow with Petri nets. Modeling languages usually used in this area are of limited efficiency when it comes to validating the underlying game systems. We provide a case study to show that Petri Nets can be used

GreatSPN 1.7: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets

by G. Chiola, G. Franceschinis, R. Gaeta, M. Ribaudo , 1995
"... This paper describes the GreatSPN 1.7 package for the modeling, validation, and performance evaluation of distributed systems using Generalized Stochastic Petri Nets and their colored extension. The tool provides a friendly framework to experiment with timed Petri net based modeling techniques. It i ..."
Abstract - Cited by 99 (17 self) - Add to MetaCart
This paper describes the GreatSPN 1.7 package for the modeling, validation, and performance evaluation of distributed systems using Generalized Stochastic Petri Nets and their colored extension. The tool provides a friendly framework to experiment with timed Petri net based modeling techniques

Concurrent Execution of Petri Nets based on Agents

by João M. Fernandes, António M. Pina, Alberto J. Proença, Jo~ao M. Fern , 1995
"... Petri Nets (PNs) provide a powerful tool to model and simulate the behaviour of complex systems. Electronic CAD tools for parallel digital systems --- supporting hierarchical structures of control and data paths --- may benefit from Synchronous Interpreted Petri Nets (SIPNs). A system specification ..."
Abstract - Cited by 7 (5 self) - Add to MetaCart
Petri Nets (PNs) provide a powerful tool to model and simulate the behaviour of complex systems. Electronic CAD tools for parallel digital systems --- supporting hierarchical structures of control and data paths --- may benefit from Synchronous Interpreted Petri Nets (SIPNs). A system specification

Analysis Software with an Object-Oriented Petri Net Model

by H. Motameni, A. Movaghar, M. Aminzadeh, H. Samadi - World Applied Sciences Journal , 2008
"... Abstract: Petri net is used widely to analyze and model various systems formally. Recently, Many Petri nets mania devote their efforts to enhancing and extending the expressive Power of Petri nets. One such effort is to extend Petri nets with object-oriented concepts. An object-oriented paradigm pro ..."
Abstract - Cited by 6 (1 self) - Add to MetaCart
Oriented Methodology lacks the rigor to verify formal validate the designed system. Petri Nets provide formal graphical representation, incorporate concurrency and parallelism. In Colored Petri Nets (CPNs), Objects and object attributes can be modeled with data structures. The hierarchical structure

From UML Sequence Diagrams and Statecharts to analysable Petri Net models

by Simona Bernardi, Susanna Donatelli, José Merseguer , 2002
"... In this paper we study the use of Sequence Diagrams and Statecharts of the Unified Modeling Language (UML) for the validation and the performance evaluation of systems. We assume that the system is specified as a set of Statecharts and that Sequence Diagrams are used to represent "executions of ..."
Abstract - Cited by 103 (13 self) - Add to MetaCart
;executions of interest". UML lacks formal semantics and hence it is not possible to apply, directly, mathematical techniques on UML models for system validation. To reach this goal we propose an automatic translation of Statecharts and Sequence Diagrams into Generalized Stochastic Petri Nets, and a composition

Validation of Dynamic Behavior in UML Using Colored Petri Nets

by Robert G. Pettit, IV, Hassan Gomaa - PROC. OF UML´2000 WORKSHOP - DYNAMIC BEHAVIOUR IN UML MODELS: SEMANTIC QUESTIONS, VOLUME 1939 IN LNCS , 2000
"... This paper describes an approach for modeling the behavioral characteristics of concurrent object-oriented designs using the Petri net formalism. Specifically, this paper describes an approach for integrating colored Petri nets with concurrent object architecture designs created with the COMET metho ..."
Abstract - Cited by 7 (0 self) - Add to MetaCart
This paper describes an approach for modeling the behavioral characteristics of concurrent object-oriented designs using the Petri net formalism. Specifically, this paper describes an approach for integrating colored Petri nets with concurrent object architecture designs created with the COMET

TU-Darmstadt Fachbereich Informatik QPE- A GRAPHICAL EDITOR FOR MODELING USING QUEUEING PETRI NETS

by Christofer Dutz, Technische Universität Darmstadt, Fachbereich Informatik, Fachgebiet Datenbanken, Und Verteilte Systeme, Prof Alej, Ro P. Buchmann, Ph. D, Technische Universität Darmstadt, Fachbereich Informatik, Fachgebiet Datenbanken, Und Verteilte Systeme, Ehrenwörtliche Erklärung
"... Betreuer: ..."
Abstract - Add to MetaCart
Abstract not found

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems

by Kurt Jensen, Lars Michael Kristensen, Lisa Wells
"... Abstract. 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 ..."
Abstract - Add to MetaCart
Abstract. 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

Factorization Properties of Symbolic Unfoldings of Colored Petri Nets

by Thomas Chatain, Éric Fabre
"... Abstract. The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actions. But even small real systems are never modeled directly as ordinary Petri nets: they use many high-level fe ..."
Abstract - Cited by 3 (1 self) - Add to MetaCart
Abstract. The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actions. But even small real systems are never modeled directly as ordinary Petri nets: they use many high
Results 1 - 10 of 163