Fuzzy timed Petri nets - analysis and implementation

  • Authors:
  • Zouhua Ding;Horst Bunke;Oscar Kipersztok;Mti Schneider;Abraham Kandel

  • Affiliations:
  • Computer Science and Engineering Department, University of South Florida, Tampa, FL 33620-5350, United States;Department of Computer Science, University of Bern, Neubrueckstr. 20, CH - 3012 Bern, Switzerland;The Boeing Company, Seattle, WA 98124-2207, United States;School of Computer Science, Netanya College, Netanya 42365, Israel;Computer Science and Engineering Department, University of South Florida, Tampa, FL 33620-5350, United States

  • Venue:
  • Mathematical and Computer Modelling: An International Journal
  • Year:
  • 2006

Quantified Score

Hi-index 0.98

Visualization

Abstract

In [Z. Ding, H. Bunke, M. Schneider, A. Kandel, Fuzzy timed Petri net - definitions, properties and applications, Math. Comput. Modelling (2005) (in press)], we posed two fuzzy timed Petri Net models. Based on the mark changing rate, they can be classified either as a discrete Fuzzy Timed Petri Net model (discrete-FTPN), or as a continuous Fuzzy Timed Petri Net model (continuous-FTPN). In this paper, we present an algorithm developed to compute reachable states for discrete-FTPN models. We also present properties of the continuous-FTPN model, which are used to describe the system's behavior. From the investigation presented in this paper, we conclude that it is easier to implement a discrete-FTPN model, but for a theoretical study the continuous-FTPN model is better.