In: Specification and Verification of Concurrent Systems: Proceedings BCS-FACS Workshop. Univ. Stirling, UK., 1988.
Abstract: Distributed problem solving (DPS) combines the aspects of distributed processing network and logical inferential strategies. The design of DPS needs a formal model to represent the distributed knowledges and the inherent communication protocols. The paper presents a proposal of logic modified Petri nets to represent the distributed knowledge evolution.