Skip to main content
SpringerLink
Log in
Book cover

Specification and Verification of Concurrent Systems pp 557–574Cite as

Modelling of Distributed Problem Solving Using Logic Modified Petri Nets

  • Conference paper

  • 54 Accesses

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

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

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G.W. Brains, “Reseaux de Petri: Théorie et Pratique”, ESI, Paris, 1983.

    Google Scholar 

  2. W.F. Clocksin and C.S. Mellish, “Programming in Prolog”, Springer, Berlin, 1984.

    Book  Google Scholar 

  3. E.H. Durfee, V.R. Lesser and D.D. Corkill, “Increasing Coherence in a Distributed Problem Solving Network”, 9th Int. Joint Conf. on AI, Los Angeles, Aug. 1985.

    Google Scholar 

  4. J.Y. Halpern and Y. Moses, “Knowledge and Common Knowledge in a Distributed Environment”, IBM Research Report, 1984.

    Google Scholar 

  5. P.N. Johnson-Laird et al, “Only Connections: A Critique of Semantic Network”, Psychological Bulletin 96, 1984.

    Google Scholar 

  6. W.A. Kornfeld and C.E. Hewitt, “The Scientific Community Metaphor”, IEEE Trans. Sys. Man. Cybernet, Smc-11 1981.

    Google Scholar 

  7. R. Kowalski, “Predicate Logic as a Programming Language”, IFIP 74, North-Holland, Amsterdam, 1974.

    Google Scholar 

  8. E.H. Durfee, V.R. Lesser and D.D. Corkill, “Towards Coherent Cooperation in a Distributed Problem Solving Network”, DAI, Pitman, London, 1987.

    Google Scholar 

  9. M. Minsky, “A Framework for Representing Knowledge”, in P.H. Winston (ed.) The Psychology of Computer Vision, McGraw-Hill, New York, 1975.

    Google Scholar 

  10. R.G. Smith and R. Davis, “Framework for Cooperation in Distributed Problem Solving”, IEEE Trans. Sys. Man. Cybernet, Jan. 1981.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Instituto di Informatica e Telecomunicazioni, Facoltà di Ingegneria, Università di Catania, Viale A. Doria 6, 95125, Catania, Italy

    Antonella Di Stefano, Fabio Gibilisco & Orazio Mirabella

Authors
  1. Antonella Di Stefano
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fabio Gibilisco
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Orazio Mirabella
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing Science, University of Stirling, Stirling, FK9 4LA, UK

    C. Rattray MSc

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag London

About this paper

Cite this paper

Stefano, A.D., Gibilisco, F., Mirabella, O. (1990). Modelling of Distributed Problem Solving Using Logic Modified Petri Nets. In: Rattray, C. (eds) Specification and Verification of Concurrent Systems. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3534-0_28

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3534-0_28

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19581-8

  • Online ISBN: 978-1-4471-3534-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation