Skip to main content
SpringerLink
Log in
Book cover

Nonsequential Processes

A Petri Net View

  • Book
  • © 1988

Overview

Authors:
  1. Eike Best

    1. Institut für Methodische Grundlagen, GMD, St. Augustin 1, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. César C. Fernández

    1. Institut für Methodische Grundlagen, GMD, St. Augustin 1, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Monographs in Theoretical Computer Science. An EATCS Series (EATCS, volume 13)

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

Access this book

Log in via an institution
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

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (4 chapters)

  1. Front Matter

    Pages i-ix
    Download chapter PDF

  2. Introduction

    • Eike Best, César C. Fernández
    Pages 1-6

  3. Partially Ordered Sets

    • Eike Best, César C. Fernández
    Pages 7-53

  4. Petri Nets

    • Eike Best, César C. Fernández
    Pages 55-78

  5. Connections Between Systems and Processes

    • Eike Best, César C. Fernández
    Pages 79-90

  6. Back Matter

    Pages 91-112
    Download chapter PDF
Back to top

Keywords

About this book

The theory of Petri nets is a part of computer science whose importance is increasingly acknowledged. Many papers and anthologies, whose subject matter is net theory and its applications, have appeared to date. There exist at least seven introductory textbooks on the theory. The present monograph augments this literature by offering a mathematical treatment of one of the central aspects of net theory: the modelling of concur­ rency by partially ordered sets. Occurrence nets - which are special nets as well as special partial orders - are proposed by net theory for this purpose. We study both the general properties of occurrence nets and their use in describing the concurrent behaviour of systems. Occurrence nets may be contrasted with a more language-oriented approach to the modelling of concurrency known as arbitrary interleaving. We will dis­ cuss some connections between these' two approaches. Other approaches based on partially ordered sets - such as the theory of traces, the theory of event structures and the theory of semi words - are not considered in this book, in spite of the strong links between them and net theory.

Authors and Affiliations

  • Institut für Methodische Grundlagen, GMD, St. Augustin 1, Germany

    Eike Best, César C. Fernández

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation