Possibilistic Petri nets

This paper presents the possibilistic Petri net model which combines possibility logic with Petri nets with objects. The main feature of this model is to allow one to reason about the aspects of uncertainty and change in dynamic discrete event systems. The paper presents relevant concepts of Petri nets with objects and possibility logic and how imprecision and vagueness are introduced in the marking of a Petri net with objects. The marking of a net is imprecise, or in a more general way, fuzzy, in order to represent an ill-known knowledge about a system state. A new marking updating according to the fuzzy marking such defined is also discussed. An example of shop door monitoring is presented that illustrates our approach.

[1]  Didier Dubois,et al.  Possibility Theory - An Approach to Computerized Processing of Uncertainty , 1988 .

[2]  Robert Valette,et al.  Fuzzy Petri Nets: An Overview , 1996 .

[3]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[4]  Ronald R. Yager,et al.  A reasoning algorithm for high-level fuzzy Petri nets , 1996, IEEE Trans. Fuzzy Syst..

[5]  M. Shanahan.  Solving the frame problem , 1997 .

[6]  Manuel Silva Suárez,et al.  Petri nets and flexible manufacturing , 1988, European Workshop on Applications and Theory in Petri Nets.

[7]  Fernando Gomide,et al.  HIGH LEVEL FUZZY PETRI NETS AND BACKWARD REASONING , 1995 .

[8]  Janette Cardoso,et al.  Monitoring manufacturing systems by means of Petri nets with imprecise markings , 1989, Proceedings. IEEE International Symposium on Intelligent Control 1989.

[9]  Janette Cardoso,et al.  Petri nets with uncertain markings , 1991, Applications and Theory of Petri Nets.

[10]  George J. Klir,et al.  Fuzzy sets, uncertainty and information , 1988 .

[11]  Janette Cardoso,et al.  LINEAR LOGIC FOR IMPRECISE FIRINGS IN OBJECT PETRI NETS , 1995 .

[12]  Adolfo Steiger-Garção,et al.  Programmable Controller Design based on a Synchronized Colored Petri Net Model and Integrated Fuzzy Reasoning , 1995, Application and Theory of Petri Nets.

[13]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[14]  S. I. Ahson,et al.  A Fuzzy Petri Net for Knowledge Representation and Reasoning , 1991, Inf. Process. Lett..

[15]  Witold Pedrycz,et al.  A generalized fuzzy Petri net model , 1994, IEEE Trans. Fuzzy Syst..

[16]  Janette Cardoso,et al.  IV. Fuzzy Petri Nets and Their Application in CIME , 1994 .

[17]  Robert Valette,et al.  Fuzzy Petri Nets and Their Application in CIME (ペトリネットの最近の応用 ) -- (ペトリネットの最近の応用) , 1994 .

[18]  Janette Cardoso,et al.  Fuzziness in Petri Nets , 1998 .

[19]  Arthur C. Sanderson,et al.  Sensor-based error recovery for robotic task sequences using fuzzy Petri nets , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[20]  L. Zadeh.  Fuzzy sets as a basis for a theory of possibility , 1999 .

[21]  Arthur C. Sanderson,et al.  Variable Reasoning and Analysis about Uncertainty with Fuzzy Petri Nets , 1993, Application and Theory of Petri Nets.

[22]  M. Hanna.  Determination of product quality from an FMS cell using fuzzy Petri nets , 1994, Proceedings of IEEE International Conference on Systems, Man and Cybernetics.

[23]  Carl G. Looney,et al.  Fuzzy Petri nets for rule-based decisionmaking , 1988, IEEE Trans. Syst. Man Cybern..

[24]  Senén Barro,et al.  Fuzzy reasoning supported by Petri nets , 1994, IEEE Trans. Fuzzy Syst..

[25]  Didier Dubois,et al.  Using Petri nets to represent production processes , 1983, The 22nd IEEE Conference on Decision and Control.

[26]  Hartmann J. Genrich,et al.  Predicate/Transition Nets , 1986, Advances in Petri Nets.

[27]  MengChu Zhou,et al.  Petri nets and industrial applications: A tutorial , 1994, IEEE Trans. Ind. Electron..

[28]  Jin-Fu Chang,et al.  Knowledge Representation Using Fuzzy Petri Nets , 1990, IEEE Trans. Knowl. Data Eng..