Results 251 to 260 of about 8,449 (302)
Some of the next articles are maybe not open access.
The practitioner's guide to coloured Petri nets
International Journal on Software Tools for Technology Transfer, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lars M Kristensen, Kurt Jensen
exaly +2 more sources
Tools for Curry-Coloured Petri Nets
Lecture Notes in Computer Science, 2019The Curry-coloured Petri net (CCPN) simulation combines Petri nets with the purely functional logic programming language Curry. The most notable aspects of the CCPN simulator are the absence of side effects, the use of logic program evaluation for the transition binding search and a concurrent simulation.
Daniel Moldt, Michael Haustermann
exaly +2 more sources
Hierarchies in coloured petri nets
1991The paper shows how to extend Coloured Petri Nets with a hierarchy concept. The paper proposes five different hierarchy constructs, which allow the analyst to structure large CP-nets as a set of interrelated subnets (called pages). The paper discusses the properties of the proposed hierarchy constructs, and it illustrates them by means of two examples.
Huber, Peter +2 more
openaire +1 more source
On the analysis and synthesis of coloured petri nets
2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583), 2005This paper proposes an analysis and synthesis method for coloured Petri nets (CPN). We present basic CPN (paths and circuits), constituent of any CPN and determine their marking and firing invariants; subsequent properties (boundedness, consistency, and liveness) are then thoroughly examined. We exhaustively detail the assembly of these basic bricks to
Marc Bourcerie, Jean-Yves Morel
openaire +2 more sources
On the invariants of coloured Petri Nets
2005In this paper, we develop a theorem that enables computation of the place invariants of the union of a finite collection of coloured Petri Nets when the individual nets satisfy certain conditions and their invariants are known. We consider the illustrative examples of the Readers-Writers problem, a resource sharing system, and a network of databases ...
Narahari, Y, Viswanadham, N
openaire +1 more source
Transforming Flowchart into Coloured Petri Nets
Proceedings of the 2019 3rd International Conference on Software and e-Business, 2019Flowchart is a common graphical representation of a process or step-by-step solution for a problem simply drawn in the software design stage. A flowchart helps visualize how an algorithm works to solve a problem better than the program source code. However, it is crucial and beneficial to validate the correct behavior of the flowchart automatically ...
Utumporn Gulati, Wiwat Vatanawood
openaire +1 more source
Extensions to coloured Petri nets
Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89, 2003Jensen's colored Petri nets (CP-nets) are extended by including capacity and inhibitor functions. A class of extended CP-nets, known as P-nets, is defined that includes the capacity function and the threshold inhibitor extension. The inhibitor extension is defined in a totally symmetrical way to the usual pre-place map (or incidence function).
openaire +1 more source
Refinement of coloured petri nets
1997In this paper we describe and apply a multirelational approach for performing linear-algebraic refinement of coloured Petri nets.
Eike Best, Thomas Thielke
openaire +1 more source
1987
This paper describes a Petri net model, called Coloured Petri nets (CP-nets), where information is attached to each token. The information can be inspected and modified when a transition fires. For most applications, this generalization of ordinary Petri nets allows the user to make more manageable descriptions, due to the fact that equal subnets can ...
openaire +1 more source
This paper describes a Petri net model, called Coloured Petri nets (CP-nets), where information is attached to each token. The information can be inspected and modified when a transition fires. For most applications, this generalization of ordinary Petri nets allows the user to make more manageable descriptions, due to the fact that equal subnets can ...
openaire +1 more source
Property specification for coloured petri nets
2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583), 2005The coloured Petri nets is a powerful modelling framework, which allows designers to attach values of complex types (colors) to moving objects (tokens). Using analysis techniques of the classical Petri nets for the coloured Petri nets demands abstracting from colors that can be a source of errors.
openaire +1 more source