A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets
نویسندگان
چکیده
Positive flows provide very useful informations that can be used to perform efficient analysis of a model. Although algorithms computing (a generative family of) positive flows in ordinary Petri nets are well known, computing a generative family of positive flows in colored net remains an open problem. We propose in this paper a pragmatic approach that allows us to define an algorithm that computes a generative family of particular but useful positive flows in a large subclass of colored nets: the simple well-formed nets.
منابع مشابه
Algebraic structure of flows of a regular coloured net
This paper introduces a new flow calculation theory for a wide subclass of coloured nets : the regular nets (R.N.). Their parametrization allows to study at the same time the flows for all nets differing only by the sizes of the colour sets. The algebraic structure of the flows subspace provides a fundamental decomposition theorem leading to an algorithm computing a flow basis for a parametrize...
متن کاملComputation of Generative Families of Positive Semi-flows in Two Types of Coloured Nets
It is well known that a generative family of positive flows provides a more accurate information than a generative family of ordinary ones. For instance with the help of positive flows one can decide the structural boundness of the nets and detect the structural implicit places. Up to now, no computation of positive flows has been developed for coloured nets. In this paper, we present a computa...
متن کاملTowards a General and Powerful Computation of Lows for Parametrized Coloured Nets
This paper extendss the computation of flows for para metrized regular netss to new categoriess of parametrize d coloured nets. These kindss of nets can model associationss be tween objects of the same class, bounded files, virtual rings, counterss gestion. The algorithmss presented here fulfill the main criteria of a good computatio n for high level nets: the intensive representation of flows ...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کامل