Skip to main content
SpringerLink
Log in

Delays in synchronized elementary net systems

  • Conference paper
  • First Online:
Advances in Petri Nets 1991 (ICATPN 1990)

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

Included in the following conference series:

Abstract

Synchronized Elementary Net Systems (SENS) are a model for systems consisting of events, conditions and subject to generalized timing constraints. The constraints are quantified and are relative to some "reference events" such as clock ticks, meters, (multiform time). The partial ordering of event occurrences can be altered by the "timing" constraints which induce additional precedences. This paper provides algorithms which compute delays between event occurrences. The "dioid" algebraic structure is the underlying mathematical model. Applications of delays to some reachability problems are given.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

VII. References

  1. Advanced Course on Petri nets:Application and Relationships to Other Models of Concurrency. LNCS 255, Springer-Verlag 87.

    Google Scholar 

  2. C.ANDRE: A semantics of timed Petri nets in terms of low level Petri nets. 7th European Workshop on Petri Nets, OXFORD (UK), 86, 115–130.

    Google Scholar 

  3. C.ANDRE: Synchronized Elementary Net Systems. 9th European Workshop on Petri nets, VENICE (I), June 88, published in Advances in Petri Net 1989, LNCS no424, Springer-Verlag 1990.

    Google Scholar 

  4. C.ANDRE: An Algebra for SENS. Technical Report, I3S-LASSY, NICE, December 1989.

    Google Scholar 

  5. C.ANDRE: Delays in Synchronized Elementary Net Systems (Extended version). Technical Report, I3S-LASSY, TR90-1, NICE, January 1990.

    Google Scholar 

  6. G.BERRY, L.COSSERAT:The Synchronous Programming Language ESTEREL and its Mathematical Semantics. Seminar on Concurrency, Springer-Verlag, LNCS 197, 1985.

    Google Scholar 

  7. E.BEST, C.FERNANDEZ: Notation and Terminology of Petri Net Theory. Arbeitspapiere der GMD, 195, Jan 1986.

    Google Scholar 

  8. E.BEST: Weighted Basic Petri Nets. Concurrency'88, LNCS no, Springer-Verlag 1988, pp 257–276.

    Google Scholar 

  9. P CHRETIENNE, J CARLIER: Modelling scheduling problems with Timed Petri Nets Advances in Petri Nets 1984, LCNS no188, Springer-Verlag, 1984, pp62–82.

    Google Scholar 

  10. G COHEN, P MOLLER, J.P QUADRAT, M VIOT: Evaluation of Discrete Event Systems. Proceedings of the IEEE, vol 77, no1, Jan 1989, pp39–58.

    Google Scholar 

  11. M.GONDRAN, M.MINOUX: Graphes et algorithmes. Collection de la Direction des Etudes et Recherches d'Electricité de France, no37, Editions EYROLLES, 1985.

    Google Scholar 

  12. H.P HILLION, A.H LEVIS: Timed Event-Graph and Performance evaluation of systems. 8th Europ. Workshop on Appl. and Theory of Petri Nets, Zaragoza, SPAIN, June 1987.

    Google Scholar 

  13. N G. LEVESON, J L STOLZY: Safety Analysis Using Petri Nets. IEEE Trans. on Software Engineering, Vol SE-13, no 3, March 1987, pp386–397.

    Google Scholar 

  14. M.MENASCHE, B.BERTHOMIEU: An Enumerative Approach for Analyzing Time Petri Nets. IFIP 83, PARIS, Sept 83.

    Google Scholar 

  15. MERLIN:On the Relation between Timings and Structure of Recoverable Processes. IBM Research Rep RC5551 (24094) 7/31/75.

    Google Scholar 

  16. NIELSEN, PLOTKIN, WINSKEL: Petri Nets, Event Structures and Domains. TCS 134 (1981), 85–108.

    Google Scholar 

  17. J S.OSTROFF, W M.WONHAM:Modelling, Specifying, and Verifying Real-time Embedded Computer Systems. Proceedings of the Real-time Symposium, SAN JOSE (California), Dec 1–3, 1987, pp124–132.

    Google Scholar 

  18. C.A PETRI: Non-sequential processes. Internal Report GMD-ISF-77-5 (1977), Gesellschaft für Mathematik und Datenverarbeitung, BONN, (RFA).

    Google Scholar 

  19. C RAMCHANDANI: Analysis of asynchronous concurrent systems by Timed Petri Nets. Technical Report no120, Lab. for Computer Science, M.I.T, Cambridge, MA, 1974.

    Google Scholar 

  20. W.REISIG: Embedded system description using Petri nets. in Embedded System, LNCS no 284, March 1986, pp18–62.

    Google Scholar 

  21. W.REISIG:A strong part of concurrency. Advances in Petri Nets 1987, Lecture Note in Computer Science 266, Springer-Verlag, 238–272.

    Google Scholar 

  22. G.ROZENBERG: Behaviour of Elementary Net Systems. in [ACPN86] Part I, 60–94.

    Google Scholar 

  23. J SIFAKIS: Performance evaluation of systems using nets. Net Theory and Applications, Ed Brauer, LNCS no 84, Springer-Verlag, 1980, pp307–319.

    Google Scholar 

  24. P.S.THIAGARAJAN:Elementary Net Systems. in [ACPN86] Part I, 26–59.

    Google Scholar 

  25. G. WINSKEL:Petri Nets, Morphisms and Compositionality, Advances in Petri Nets 1985, LNCS no222, Springer-Verlag, 1985, pp453–477.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire de Signaux et Systèmes Equipe de l'I3S (U.R.A 1376 du CNRS), Université de NICE - Sophia Antipolis, 41 Bd Napoléon III, F-06041, NICE Cédex, France

    Charles Andre

Authors
  1. Charles Andre
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Andre, C. (1991). Delays in synchronized elementary net systems. In: Rozenberg, G. (eds) Advances in Petri Nets 1991. ICATPN 1990. Lecture Notes in Computer Science, vol 524. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019966

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-47600-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation