Fuzzy time semirings and fuzzy-timing colored Petri nets

Ž We define a time scale as a linear-ordered commutative monoid LOC-monoid, for . short , which generalized the continuous time scale. Using some existing operations in fuzzy set theory, we equip our fuzzy time model with the algebraic structure of a semiring. This semiring structure provides a convenient environment in which we can set up a new semantics for some important features of a fuzzy-timing colored Petri net Ž . model FTCPN , and discuss firing order of enabled events of this net model in a particular state. To do this, we improve Murata’s FTHN model and establish the dynamic behavior of our model. Q 1999 John Wiley & Sons, Inc.