In: Proceedings of the IEEE International Symposium on Intelligent Control, 1989, Albany, NY, USA, pages 88-93. Washington, DC, USA: IEEE Comput. Soc. Press, 1989.
Abstract: A quantitative methodology is presented for identifying and evaluating the shortfalls and overlaps between the desired functionality of a distributed intelligence system and the functionality of a proposed or implemented system. The approach is based on developing compatible Petri net representations of the requirements and of the system architecture. By using the theory of Petri net invariants, the functionalities in both representations are obtained. They can then be compared to determine shortfalls and overlaps.
Keywords: evaluation (of) functionality; distributed intelligence system; net invariant.