For the most recent entries see the Petri Nets Newsletter.

Modeling of Distributed Problem Solving Using Logic Modified Petri Nets.

Di Stefano, A.; Gibilisco, F.; Mirabella, O.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography