Skip to main content
SpringerLink
Log in

Autonomous Continuous P/T Systems

  • 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

Discrete event dynamic systems may have extremely large state spaces. For their analysis, it is usual to relax the description by removing the integrality constraints. Applying this idea, continuous P/T systems are defined by allowing fractional firings of transitions, and thus the existence of non-discrete markings [4,5,1]. In this paper we compare the behaviors of discrete and continuous systems, and observe that they are not necessarily similar. The problems that appear lead to the definition of two extensions of reachability. Many properties shall be extended differently depending on which reachability definition is being considered. Here, we concentrate on liveness and deadlock-freeness, proposing extensions and relating them to their discrete counterparts.

This work was partially supported by the project HF97-169, within the Picasso programme and project CICYT TAP98-0679

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. H. Alla and R. David. Continuous and hybrid Petri nets. Journal of Circuits, Systems, and Computers, 8(1), 1998.

    Google Scholar 

  2. R. Champagnat, P. Esteban, H. Pingaud, and R. Valette. Modeling hybrid systems through by means of high-level Petri nets. benefits and limitations. In M. Ferney, P. Borne, A. El Moudni, and L. Grujic, editors, Proceedings of CIS’97, volume 1, pages 469–474, Belfort, France, 1997.

    Google Scholar 

  3. R. Champagnat, H. Pingaud, H. Alla, C. Valentin-Roubinet, and J.M. Flaus. A gas storage example as a benchmark for hybrid modelling. In Proc. of ADPM’98, pages 123–130, Reims, France, March 1998.

    Google Scholar 

  4. R. David and H. Alla. Continuous Petri nets. In Proc. of the 8th European Workshop on Application and Theory of Petri Nets, pages 275–294, Zaragoza, Spain, 1987.

    Google Scholar 

  5. R. David and H. Alla. Autonomous and timed continuous Petri nets. In Rozenberg [10], pages 71–90.

    Google Scholar 

  6. J. Desel and J. Esparza. Free Choice Petri Nets, volume 40 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1995.

    Google Scholar 

  7. J. Ezpeleta, J.M. Couvreur, and M. Silva. A new technique for finding a generating family of siphons, traps and ST-components. application to coloured Petri nets. In Rozenberg [10], pages 126–147.

    Google Scholar 

  8. D. G. Luenberger. Introduction to Linear and non Linear Programming. Addison-Wesley Publishing Company, 1972.

    Google Scholar 

  9. L. Recalde, E. Teruel, and M. Silva. On linear algebraic techniques for liveness analysis of P/T systems. Journal of Circuits, Systems, and Computers, 8(1):223–265, 1998.

    Article  MathSciNet  Google Scholar 

  10. G. Rozenberg, editor. Advances in Petri Nets 1993, volume 674 of Lecture Notes in Computer Science. Springer, 1993.

    MATH  Google Scholar 

  11. M. Silva. Towards a synchrony theory for P/T nets. In K. Voss et al., editors, Concurrency and Nets, pages 435–460. Springer, 1987.

    Google Scholar 

  12. M. Silva, E. Teruel, and J. M. Colom. Linear algebraic techniques for the analysis of net systems. In G. Rozenberg and W. Reisig, editors, Advances in Petri Nets, Lecture Notes in Computer Science. Springer, 1998. To appear.

    Google Scholar 

  13. E. Teruel and M. Silva. Structure theory of equal conflict systems. Theoretical Computer Science, 153(1-2):271–300, 1996.

    Article  MATH  MathSciNet  Google Scholar 

  14. K. Trivedi and V. G. Kulkarni. FSPNs: Fluid stochastic Petri nets. In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 24–31. Springer, 1993.

    Google Scholar 

  15. C. Valentin and P. Ladet. Flow modelling in a class of hybrid (continuous/discrete) systems. In IEEE Int. Conf. on Systems, Man, and Cybernetics, Le Touquet, France, October 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dep. Informática e Ingeniería de Sistemas Centro Politécnico Superior de Ingenieros, Universidad de Zaragoza, María de Luna 3, E-50015, Zaragoza, Spain

    Laura Recalde, Enrique Teruel & Manuel Silva

Authors
  1. Laura Recalde
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Enrique Teruel
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Manuel Silva
    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

Recalde, L., Teruel, E., Silva, M. (1999). Autonomous Continuous P/T Systems. 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_8

Download citation

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

  • 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