Skip to main content

A Matrix-Based Implementation of Generalized Petri Nets

  • Conference paper

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 66))

Abstract

Petri nets have been proved to be a useful tool for the specification of parallelism in control systems.

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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. C. André, F. Boeri, J. Marin, “Synthèse et réalisation des systèmes logiques à évolutions simultanées”, RAIRO, Apr. 1976.

    Google Scholar 

  2. M. Augin, “Conception des systèmes de commande à l’aide de réseaux logiques programmables”, Thèse de 3ème Cycle, Nice, Nov. 1978.

    Google Scholar 

  3. M. Blanchard, E. Daclin, “Synthèse des systèmes logiques”, CEPADUES Editions, 1976.

    Google Scholar 

  4. M. Courvoisier, “Etude des systèmes logiques de commande asynchrones à évolutions simultanées”, Thèse de Doctorat d’Etat, Toulouse, 1974.

    Google Scholar 

  5. M. Courvoisier, “Description et réalisation des systèmes de commande asynchrones à évolutions simultanées, RAIRO, Feb. 1975.

    Google Scholar 

  6. S.S. Patil, “An asynchronous logic array”, MAC Technical Memorandum n°62, MIT, 1975.

    Google Scholar 

  7. R. Valette, M. Courvoisier, “Systèmes de commande en temps réel: description, analyse et réalisation”, Editions SCM, Paris, 1980.

    Google Scholar 

  8. M. Courvoisier, J.P. Seek, “Une réalisation matérielle des réseaux de Petri généralisés”, Electronics Letters, vol.15, n°24, pp. 770–772, Nov. 1979.

    Article  Google Scholar 

  9. R.C. Pierce, J.A. Field, W.D. Lillte, “Asynchronous arbiter modules”, IEEE TC, vol.24, n°9, Sept. 1975.

    Google Scholar 

  10. P. Corsini, “n user asynchronous arbiter”, Electronics Letters, vol.11, n°l, Jan. 1975.

    Google Scholar 

  11. M. Courvoisier, “A programmable arbiter for multiprocessor systems”, Digital Processes, vol.5, n°3–4, 1979.

    Google Scholar 

  12. M. Courvoisier, “Arbitre n-utilisateurs1-ressource programmable”, Electronics Letters, vol.15, n°14, July 1979.

    Google Scholar 

  13. M. Courvoisier, J.C. Geffroy, J.P. Seek, “A self-testing arbiter circuit for multimicrocomputer systems”, FTCS-10, Kyoto, Japan, Oct. 1980.

    Google Scholar 

  14. M. Courvoisier, “Une architecture parallèle asynchrone pour les systèmes de commande”, AFCET Workshop on Petri nets, Paris, France, March 1977.

    Google Scholar 

  15. M. Courvoisier, R. Valette, “Description and realization of parallel control systems”, Computer Conference (COMPOON FALL), Washington D.C., Sept. 1977.

    Google Scholar 

  16. D.E. Muller, “Asynchronous logic and applications to information processing”, Switching Theory in Space Technology, Stanford University Press, 1963.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1983 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Courvoisier, M. (1983). A Matrix-Based Implementation of Generalized Petri Nets. In: Pagnoni, A., Rozenberg, G. (eds) Applications and Theory of Petri Nets. Informatik-Fachberichte, vol 66. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69028-0_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-69028-0_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-12309-5

  • Online ISBN: 978-3-642-69028-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics