Skip to main content
SpringerLink
Log in

The construction of EN systems from a given trace behaviour

  • Conference paper
  • First Online:
Advances in Petri Nets 1988 (APN 1987)

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

Included in the following conference series:

Abstract

Sets of traces [Maz1] have been proven to be an elegant way to denote the behaviour of a given elementary net (en) system maintaining the non-sequential nature of concurrency and causality [Aal/Roz, Maz1, Maz2]. This paper deals with the converse: can we construct one (or more) en systems with a behaviour given by a certain set of traces. A criterion is developed which allows to decide whether en systems with a given trace behaviour exist. If a given set of traces can be represented by en systems then a procedure for the generation of all these en systems is given.

This work has been performed mainly within ESPRIT project no. 283 FOR-ME-TOO

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.

References

  1. I.J. Aalbersberg, G. Rozenberg: Theory of traces. Vakgroep Informatica, Rijksuniversiteit Leiden, Report 86–16, Sept. 1986

    Google Scholar 

  2. I.J. Aalbersberg, E. Welzl: Trace languages defined by regular string languages. Rairo Inform.Theor.et Appl. 20 (1986)

    Google Scholar 

  3. E. Best, C. Fernandez: Notations and terminology on Petri net theory. Arbeitspapiere der GMD 195, GMD 1986

    Google Scholar 

  4. P. Graubmann: Construction of en systems with a given trace behaviour. Proceedings of the 8th European Workshop of Application and Theory of Petri Nets, June 24–26, Zaragoza, Spain, 1987 [Gra] is a preliminary version of this paper.

    Google Scholar 

  5. A. Mazurkiewicz: Semantics of concurrent systems: a modular fixed-point trace approach. In: Advances in Petri Nets 1984, SLN Comp. Sci. 188, Springer 1985

    Google Scholar 

  6. A. Mazurkiewicz: Trace theory. Advanced Course on Petri Nets, Bad Honnef, Germany, 8–19 Sept. 1986

    Google Scholar 

  7. G. Rozenberg: Behaviour of elementary net systems. Advanced Course on Petri Nets, Bad Honnef, Germany, 8–19 Sept. 1986

    Google Scholar 

  8. G. Rozenberg, P.S. Thiagarajan: Petri nets: basic notations, structure, behaviour. In: Current Trends in Concurrency, SLN Comp. Sci. 224, Springer 1986

    Google Scholar 

  9. P.S. Thiagarajan: Elementary net systems. Advanced Course on Petri Nets, Bad Honnef, Germany, 8–19 Sept. 1986

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Siemens AG Zentrale Aufgaben Informationstechnik, 8000, München 83, Fed. Rep. Germany

    Peter Graubmann

Authors
  1. Peter Graubmann
    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

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Graubmann, P. (1988). The construction of EN systems from a given trace behaviour. In: Rozenberg, G. (eds) Advances in Petri Nets 1988. APN 1987. Lecture Notes in Computer Science, vol 340. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50580-6_27

Download citation

  • DOI: https://doi.org/10.1007/3-540-50580-6_27

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50580-8

  • Online ISBN: 978-3-540-46059-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation