Skip to main content
SpringerLink
Log in

Linear algebraic techniques for place/transition nets

  • Conference paper
  • First Online:
Petri Nets: Central Models and Their Properties

Part of the book series: Lecture Notes in Computer Science ((volume 254))

  • 42 Accesses

Abstract

This paper is an introdurction into linear algebraic techniques for place/transition nets. Based on a linear representation of processes S- and T-invariants are introduced. S- and T-invariants are both, solutions of linear homogeneous equation systems and subnets with special properties.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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. Alaiwan, H.; Toudic, J.M.: Recherche des semi-flots, des verrous et des trappes dans le réseaux de Petri, Technique et Science Informatiques, Vol. 4, 103–112, 1985

    MATH  Google Scholar 

  2. Best, E.; Fernandez, C.: Notations and Terminology on Petri Net Theory, Gesellschaft für Mathematik und Datenverarbeitung, Arbeitspapiere der GMD No. 195, 1986

    Google Scholar 

  3. Commoner, F.; Holt, A.; Even, S.; Pnueli A.: Marked Directed Graphs, JCSS, Vol. 5, 511–523, 1971

    MATH  MathSciNet  Google Scholar 

  4. Gale, D.: The Theory of Linear Economic Models, Mc Graw-Hill, NY, Toronto, London, 1960

    Google Scholar 

  5. Genrich, H.J.; Lautenbach, K.: Synchronisationsgraphen, Acta Informatica, Vol. 2, 143–161, 1973 (in German)

    Article  MATH  MathSciNet  Google Scholar 

  6. Genrich, H.J.; Lautenbach, K., Thiagarajan, P.S.: Elements of Genral Net Theory, In: Net Theory and Applications, Brauer ed., Springer LNCS 84, 1980

    Google Scholar 

  7. Hack, M.H.T.: Analysis of Production Schemata by Petri Nets, MIT Project MAC, TR 94, 1973

    Google Scholar 

  8. Jaxy, M.: Analyse linearer diophantischer Ungleichungs-und Gleichungs-systeme im Hinblick auf Anwendungen in der Theorie der Petri-Netze, Diplomarbeit, Universität Bonn, 1985, (in German)

    Google Scholar 

  9. Lautenbach, K.: Exakte Bedingungen der Lebendigkeit für eine Klasse von Petri-Netzen, Gesellschaft für Mathematik und Datenverarbeitung, GMD-Report No. 82, 1973, (in German)

    Google Scholar 

  10. Lautenbach, K.: Liveness in Petri Nets, Gesellschaft für Mathematik und Datenverarbeitung, GMD-ISF Internal Report 02.1/75-7-29, 1975

    Google Scholar 

  11. Memmi, G.; Roucairol, G.: Linear Algebra in Net Theory, In: Net Theory and Applications, Brauer ed., Springer LNCS 84, 1980

    Google Scholar 

  12. Martinez, J.; Silva, M.: A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net, In: Application and Theory of Petri Nets, Girault, Reisig eds., Springer Informatik-Fachberichte No. 52, 1982

    Google Scholar 

  13. Pascoletti, K.-H.: Diopantische Systeme und Lösungsmethoden zur Bestimmung aller Invarianten in Petri Netzen, GMD-Bericht Nr. 160, Oldenbourg Verlag, München, Wien, 1986 (in German)

    Google Scholar 

  14. Reisig, W.: Petri Nets, Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1985

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, University of Bonn, Wegeler Str. 6, D-5300, Bonn

    Kurt Lautenbach

  2. GMD-F1P, Postfach 1240, D-5205, St. Augustin 1

    Kurt Lautenbach

Authors
  1. Kurt Lautenbach
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

W. Brauer W. Reisig G. Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag

About this paper

Cite this paper

Lautenbach, K. (1987). Linear algebraic techniques for place/transition nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds) Petri Nets: Central Models and Their Properties. Lecture Notes in Computer Science, vol 254. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0046839

Download citation

  • DOI: https://doi.org/10.1007/BFb0046839

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17905-4

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation