Fuzzy timed Petri nets - analysis and implementation

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. (c) 2006 Elsevier Ltd. All rights reserved.