Skip to main content
SpringerLink
Log in

Petri Net Theory — Problems Solved by Commutative Algebra

  • Conference paper
  • First Online:
Application and Theory of Petri Nets 1999 (ICATPN 1999)

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

Included in the following conference series:

Abstract

The paper deals with the computation of flows in coloured nets and with the potential reachability of markings over the integers in p/t nets. We introduce Artin nets as a subclass of coloured nets, which can be handled by methods from Commutative Algebra. As a first result we develop an algorithm for the explicit computation of flows in Artin nets, which is supported by existing tools. Concerning reachability in p/t nets we prove a refined rank condition as a second result.

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.

Bibliography

  1. Atiyah, Michael; Macdonald, I. G.: Introduction to Commutative Algebra. Addison-Wesley, Reading, Mass. 1969

    MATH  Google Scholar 

  2. Bourbaki, Nicolas: Éléments de mathématique. Algèbre, Chapitre 7, Modules sur les anneaux principaux. Masson, Paris 1981

    Google Scholar 

  3. Bourbaki, Nicolas: Elements of mathematics. Commutative Algebra, Chapter I, Flat modules. Hermann, Paris 1972

    Google Scholar 

  4. Buchberger, Bruno; Winkler, Franz (Eds.): Gröbner Bases and Applications. London Mathematical Society Lecture Note Series 251. Cambridge University Press 1998

    Google Scholar 

  5. Becker, Thomas; Weispfenning, Volker; Kredel, Heinz: Gröbner Bases: A computational approach to Commutative Algebra. Springer, Berlin et al. 1998

    Google Scholar 

  6. Cox, David; Little, John; O’Shea, Donal: Using Algebraic Geometry. Springer, Berlin et al. 1998

    MATH  Google Scholar 

  7. Couvreur, Jean-Michel; Martinez, J.: Linear invariants in commutative high level Petri nets. In: Rozenberg, G. (ed.): Advances in Petri Nets 1990. Lecture notes in Computer science, vol. 483. Springer, Berlin et al. 1990

    Google Scholar 

  8. Desel, Jörg; Neuendorf, Klaus-Peter; Radola, M.-D.: Proving nonreachability by modulo-invariants. Theoretical Computer Science 153 (1996), p. 49–64

    Article  MATH  MathSciNet  Google Scholar 

  9. Grayson, Daniel.; Stillman, Michael: Macaulay 2. Available at “http://www.math.uiuc.edu”

  10. Jensen, Kurt: Coloured Petri nets. Basis Concepts, Analysis Methods and Practical Use. Springer, Berlin et al. 1992

    Google Scholar 

  11. Vasconcelos, Wolmer: Computational Methods in Commutative Algebra and Algebraic Geometry. Springer, Berlin et al. 1998

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. cke-schneider.de data service, Paul Robeson Straße 40, D-10439, Berlin, Germany

    Christoph Schneider

  2. Döllingerstraße 35, D-80639, München, Germany

    Joachim Wehler

Authors
  1. Christoph Schneider
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Joachim Wehler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università di Torino, C.so Svizzera 185, I-10149, Torino, Italy

    Susanna Donatelli

  2. LIACS, Leiden University , 2300 RA, Leiden, The Netherlands

    Jetty Kleijn

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schneider, C., Wehler, J. (1999). Petri Net Theory — Problems Solved by Commutative Algebra. In: Donatelli, S., Kleijn, J. (eds) Application and Theory of Petri Nets 1999. ICATPN 1999. Lecture Notes in Computer Science, vol 1639. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48745-X_15

Download citation

  • DOI: https://doi.org/10.1007/3-540-48745-X_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66132-0

  • Online ISBN: 978-3-540-48745-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation