Skip to main content
SpringerLink
Log in

A Systematic Approach towards Object-Based Petri Net Formalisms

  • Conference paper
  • First Online:
Perspectives of System Informatics (PSI 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2244))

Abstract

The paper aims at establishing the semantical background for extending Petri net formalisms with an object-oriented approach by bringing together Nested Petri Nets (NP-nets) of Lomazova and Linear Logic Petri nets (LLPNs) of Farwer. An introductory example shows the capabilities of these formalisms and motivates the proposed interencoding of two-level NP-nets and LLPNs. A conservative extension to the Linear Logic calculus of Girard is proposed— Distributed Linear Logic. This extension of Linear Logic gives a natural semantical background for multi-level arbitrary token nets.

This research was partly supported by the Russian Foundation for Basic Research, Project No. 99-01-00309

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Farwer B. A Linear Logic View of Object Petri Nets. Fundamenta Informaticae, 37:225–246, 1999.

    MATH  MathSciNet  Google Scholar 

  2. Farwer B. A Multi-Region Linear Logic Based Calculus for Dynamic Petri Net Structure. Fundamenta Informaticae, 43:61–79, 2000.

    MATH  MathSciNet  Google Scholar 

  3. Farwer B. Relating Formalisms for Non-Object-Oriented Object Petri Nets. In Proceedings of the Concurrency Specification and Programming (CS&P’2000) Workshop. 9–11 October 2000. Vol. 1, pp. 53–64. Informatik-Bericht Nr.140, Humboldt-Universität zu Berlin, Informatik-Berichte, Berlin, 2000.

    Google Scholar 

  4. Farwer B. Linear Logic Based Calculi for Object Petri Nets. Dissertation, Universität Hamburg. Published by: Logos Verlag, ISBN 3-89722-539-5, Berlin, 2000.

    Google Scholar 

  5. Girard J.-Y. Linear Logic. Theoretical Computer Science, 50:1–102, 1987.

    Article  MATH  MathSciNet  Google Scholar 

  6. Lakos C. A. From Coloured Petri Nets to Object Petri Nets. Proc. Int. Conf. on Appl. and Theory of Petri Nets, pp. 278–297. LNCS 935. Springer-Verlag, 1995.

    Google Scholar 

  7. Lomazova I. A. Nested Petri Nets— A Formalism for Speci.cation and Verification of Multi-Agent Distributed Systems. Fundamenta Informaticae, 43:195–214, 2000.

    MATH  MathSciNet  Google Scholar 

  8. Lomazova I. A. Nested Petri Nets: Multi Level and Recursive Systems. In Proceedings of the Concurrency Specification and Programming (CS&P’2000) Workshop. 9–11 October 2000. Vol. 1., pp. 117–128. Informatik-Bericht Nr.140, Humboldt-Universität zu Berlin, Informatik-Berichte, Berlin, 2000.

    Google Scholar 

  9. Lomazova I. A. and Schnoebelen Ph. Some Decidability Results for Nested Petri Nets. In: Proc. Andrei Ershov 3rd Int. Conf. Perspectives of System Informatics (PSI’99), Novosibirsk, Russia, July 1999, pp. 207–219. LNCS 1755, Springer-Verlag, 1999.

    Google Scholar 

  10. Valk R. Petri Nets as Token Objects: An Introduction to Elementary Object Nets. In: Proc. Int. Conf. on Application and Theory of Petri Nets, LNCS 1420, Springer-Verlag, pp. 1–25, 1998.

    Google Scholar 

  11. Zapf M., Heinzl A. Techniques for Integrating Petri Nets and Object-Oriented Concepts. Working Papers in Information Systems, No.1/1998. University of Bayreuth, 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Hamburg, Germany

    Berndt Farwer

  2. Program Systems Institute of Russian Academy of Science, Germany

    Irina Lomazova

Authors
  1. Berndt Farwer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Irina Lomazova
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Informatics and Mathematical Modelling, Technical University of Denmark, Bldg.322, 106-108, Richard Petersens Plads, 2800, Lyngby, Denmark

    Dines Bjørner

  2. Computer Science Department, Technical University of Munich, Arcisstr.21, 80290, Munich, Germany

    Manfred Broy

  3. A.P.Ershov Institute of Informatics Systems, Acad.Lavrentjev ave.,6, 630090, Novosibirsk, Russia

    Alexandre V. Zamulin

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Farwer, B., Lomazova, I. (2001). A Systematic Approach towards Object-Based Petri Net Formalisms. In: Bjørner, D., Broy, M., Zamulin, A.V. (eds) Perspectives of System Informatics. PSI 2001. Lecture Notes in Computer Science, vol 2244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45575-2_26

Download citation

  • DOI: https://doi.org/10.1007/3-540-45575-2_26

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43075-9

  • Online ISBN: 978-3-540-45575-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation