Skip to main content
SpringerLink
Log in
Book cover

International Conference on Application and Theory of Petri Nets

ICATPN 1996: Application and Theory of Petri Nets 1996 pp 440–459Cite as

{SC}*ECS: A class of modular and hierarchical cooperating systems

  • Full Papers
  • Conference paper
  • First Online:

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

Abstract

We introduce a new class of Place/Transition net systems, {SC}*ECS, a generalisation of Equal Conflict systems [13] and Deterministic Systems of Sequential Processes [7, 11, 9, 10, 6]. {SC}*ECS are modular and hierarchical by definition: An {SC}*ECS is made up of a set of {SC}*ECS modules that asynchronously communicate through buffers in a restricted way.

After defining the class, we take advantage of its modular and hierarchical structure to analyse it, i.e. the study will not be made on the flat net, but taking into account its global architecture. We present a polynomial time method to synthetise {SC}*ECS nets which are well-formed, i.e. structurally bounded and live.

This work has been partially supported by the projects CICYT TIC-94-0242, Esprit BRA Project 7269 (QMIPS) and contract CHRX-CT94-0452 (MATCH) within the HCM Programme of the EU. L. Recalde was granted by the Dpto. de Educación y Cultura del Gobierno de Navarra.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Campos, G. Chiola, and M. Silva. Properties and performance bounds for closed Free Choice synchronized monoclass queueing networks. IEEE Trans. on Automatic Control, 36(12):1368–1382, 1991.

    Google Scholar 

  2. J. Esparza and M. Silva. On the analysis and synthesis of Free Choice systems. In G. Rozenberg, editor, Advances in Petri Nets 1990, volume 483 of Lecture Notes in Computer Science, pages 243–286. Springer Verlag, 1991.

    Google Scholar 

  3. M. H. T. Hack. Analysis of production schemata by Petri nets. Master's thesis, MIT, 1972. (Corrections in Computation Structures Note 17, 1974).

    Google Scholar 

  4. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541–580, 1989.

    Google Scholar 

  5. L. Recalde. A class of modular and recursively defined models of concurrent systems: {SC}*ECS. Master's thesis, DIIS. Univ. Zaragoza, September 1995.

    Google Scholar 

  6. L. Recalde, E. Teruel, and M. Silva. On well-formedness analysis: The case of deterministic systems of sequential processes. In J. Desel, editor, Proc. of the Int. Workshop on Structures in Concurrency Theory (STRICT), Workshops in Computing, pages 279–293. Springer, 1995.

    Google Scholar 

  7. W. Reisig. Deterministic buffer synchronization of sequential processes. Acta Informatica, 18:117–134, 1982.

    Google Scholar 

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

    Google Scholar 

  9. M. Y. Souissi. Une Etude de la Préservation de Propriétés par Composition de Réseaux de Pétri. Quelques Extensions aux Réseaux à Files. Application à la Validation de Protocoles de Communication. PhD thesis, Univ. Pierre et Marie Curie (Paris VI), February 1990.

    Google Scholar 

  10. Y. Souissi. Deterministic systems of sequential processes: A class of structured Petri nets. In G. Rozenberg, editor, Advances in Petri Nets 1993, volume 674 of Lecture Notes in Computer Science, pages 406–426. Springer Verlag, 1993.

    Google Scholar 

  11. Y. Souissi and N. Beldiceanu. Deterministic systems of sequential processes: Theory and tools. In Concurrency 88, volume 335 of Lecture Notes in Computer Science, pages 380–400. Springer Verlag, 1988.

    Google Scholar 

  12. E. Teruel, J. M. Colom, and M. Silva. Choice-free Petri nets: A model for deterministic concurrent systems with bulk services and arrivals. IEEE Trans. on Systems, Man, and Cybernetics. 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.

    Google Scholar 

  14. P. S. Thiagarajan and K. Voss. A fresh look at Free Choice nets. Information and Control, 61(2):85–113, 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departamento de Informática e Ingeniería de Sistemas, Centro Politécnico Superior de Ingenieros de la 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

Jonathan Billington Wolfgang Reisig

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Recalde, L., Teruel, E., Silva, M. (1996). {SC}*ECS: A class of modular and hierarchical cooperating systems. In: Billington, J., Reisig, W. (eds) Application and Theory of Petri Nets 1996. ICATPN 1996. Lecture Notes in Computer Science, vol 1091. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61363-3_24

Download citation

  • DOI: https://doi.org/10.1007/3-540-61363-3_24

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61363-3

  • Online ISBN: 978-3-540-68505-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation