Fuzzy timing Petri net and concurrency
Akinori Ohta, Kohkichi Tsuji · Society of Instrument and Control Engineers of Japan · 2003
Petri net is a modeling tool for discrete event systems. Fuzzy timing Petri net has been suggested to introduce time without spoiling concurrency. This paper shows a formal definition of fuzzy timing Petri net. Then some problem concerning concurrency in fuzzy timing Petri net is pointed out and modification is suggested to cope with the problem.