In: Proc. 1999 IEEE Fuzzy Systems Conference, 22-25 August 1999, Seoul, South Korea, pages 830-834. 1999.
Abstract: The objective of this paper is to present a safety evaluation method. Fuzzy colored Petri nets (FCPNs) are introduced as a basis for the evaluation. FCPNs prove to be useful in evaluating software safety using the safety evaluation method proposed in this paper.
Keywords: colored Petri nets, fuzzy Petri nets, software safety evaluation.