Modelling of Distributed Problem Solving Using Logic Modified Petri Nets

Authors :: Fabio Gibilisco
Orazio Mirabella
Antonella Di Stefano
Source :: Workshops in Computing ISBN: 9783540195818, Specification and Verification of Concurrent Systems
Publication Year :: 1990
Publisher :: Springer London, 1990.
Abstract: Distributed Problem Solving (DPS) combines aspects of distributed processing networks and logical inferential strategies. The design of DPS systems requires a formal model to represent distributed knowledge and inherent communication protocols. This paper presents a proposal that logic modified Petri Nets be used to represent distributed knowledge evolution. Some simple examples will be used to discuss the proposed model and to indicate the features which render it suitable for

Subjects :: Theoretical computer science
Horn clause
Distributed knowledge
Computer science
Simple (abstract algebra)
Concurrency
Distributed computing
Stochastic Petri net
Process architecture
Petri net
Communications protocol

ISBN :: 978-3-540-19581-8
ISBNs :: 9783540195818
Database :: OpenAIRE
Journal :: Workshops in Computing ISBN: 9783540195818, Specification and Verification of Concurrent Systems
Accession number :: edsair.doi...........bc1b3e82af2640795cd83aae95625819
Full Text :: https://doi.org/10.1007/978-1-4471-3534-0_28