Skip to main content
SpringerLink
Log in

Non-Sequential Processes

  • Conference paper
Petri Nets: Central Models and Their Properties (ACPN 1986)

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

Included in the following conference series:

Abstract

This paper present a selection of some properties of a non-sequential process.

Three types of properties are studied, namely: discreteness properties, density properties and the D-continuity property. Relations between these properties are established.

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. E. Best, C. Fernández and H. Plünnecke, Concurrent Systems and Processes, Final report of the foundational part of the project Begrund, GMD-Studien Nr. 104 (1985)

    Google Scholar 

  2. E. Best and C. Fernandez, A Petri Net Theory of Systems and Processes. Draft of a projected monograph. GMD, St. Augustin, Federal Republic of Germany (February 1986)

    Google Scholar 

  3. E. Best and A. Merceron, Concurrency Axioms and D-Continuous Posets, Advances in Petri Nets 1984, Lecture Notes in Computer Science Nr. 188, pp. 32-47. (Springer-Verlag, 1985)

    Google Scholar 

  4. E. Best and A. Merceron, Frozen Tokens and D-Continuity: A Study in Relating System Properties to Process Properties, Advances in Petri Nets 1984, Lecture Notes in Computer Science Nr. 188, pp. 48-61 (Springer-Verlag, 1985)

    Google Scholar 

  5. R. Dedekind, Was sind und was sollen die Zahlen? Stetigkeit und Irrationale Zahlen (Vieweg, Braunschweig, 1969)

    Google Scholar 

  6. C. Fernández and P. S. Thiagarajan, D-Continuous Causal Nets: A Model of Non-Sequential Processes, Theoretical Computer Science, 28, pp. 171–196 (1984)

    Article  MathSciNet  MATH  Google Scholar 

  7. C. Fernández, M. Nielsen and P. S. Thiagarajan, Notions of Realizable Non-Sequential Processes, Report DAIMI PB-205, Aarhus University, Aarhus, Denmark (February 1986)

    Google Scholar 

  8. U. Goltz and W. Reisig, The Non-Sequential Behaviour of Petri Nets, Information and Control 57, pp. 125–147 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  9. C. A. Petri, Non-Sequential Processes, Interner-Bericht ISF-77-5, Gesellschaft für Mathematik und Datenverarbeitung, St. Augustin, Federal Republic of Germany (1977)

    Google Scholar 

  10. C. A. Petri, Concurrency, in: W. Brauer, ed., Net Theory and and Applications, Lecture Notes in Computer Science Nr. 84, pp. 251-260 (Springer-Verlag, 1981)

    Google Scholar 

  11. G. Winskel, Events in Computation, Ph. D. Thesis, University of Edinburgh (1980)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Gesellschaft fur Mathematik und Datenverarbeitung mbH, Postfach 1240, Schloß Birlinghoven, D-5205, St. Augustin 1, Federal Republic of Germany

    César Fernández

Authors
  1. César Fernández
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Technische Universität München, Postfach 202420, 8000, München 2, Federal Republic of Germany

    W. Brauer

  2. Institut für Methodische Grundlagen, Gesellschaft für Mathematik und Datenverarbeitung mbH, Postfach 1240, 5205, St. Augustin 1, Federal Republic of Germany

    W. Reisig

  3. Subfaculteit Wiskunde en Informatica, Rijksuniversiteit te Leiden, Postbus 9512, 2300 RA, Leiden, The Netherlands

    G. Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fernández, C. (1987). Non-Sequential Processes. In: Brauer, W., Reisig, W., Rozenberg, G. (eds) Petri Nets: Central Models and Their Properties. ACPN 1986. Lecture Notes in Computer Science, vol 254. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-47919-2_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-47919-2_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17905-4

  • Online ISBN: 978-3-540-47919-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation