Skip to main content
SpringerLink
Log in
Book cover

Paradigms of Concurrency

Observations, Behaviours, and Systems — a Petri Net View

  • Book
  • © 2022

Overview

Authors:
  1. Ryszard Janicki

    1. Department of Computing and Software, McMaster University, Hamilton, Canada

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Jetty Kleijn

    1. LIACS, Leiden University, Leiden, The Netherlands

    View author publications

    You can also search for this author in PubMed   Google Scholar

  3. Maciej Koutny

    1. School of Computing, Newcastle University, Newcastle upon Tyne, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

  4. Łukasz Mikulski

    1. Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Toruń, Poland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Presents system models fitting a number of concurrency paradigms and their associated causality structures
  • Studies fundamental mathematical abstractions to capture and relate observations, histories, and systems
  • Identifies different concurrency paradigms underpinned by different kinds of causality structures

Part of the book series: Studies in Computational Intelligence (SCI, volume 1020)

  • 1307 Accesses

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 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover 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 (11 chapters)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Introduction

    • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Pages 1-11

  3. Preliminaries

    • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Pages 13-35

  4. Semantical Domains

    • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Pages 37-75

  5. Concurrency Traces

    • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Pages 77-99

  6. Elementary Net Systems

    • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Pages 101-135

  7. Concurrency Paradigms

    • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Pages 137-145

  8. General Structures

    • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Pages 147-209

  9. Step Traces

    • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Pages 211-241

  10. Elementary Net Systems with Activator and Mutex Arcs

    • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Pages 243-275

  11. Subclasses of Step Traces

    • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Pages 277-312

  12. Conclusions

    • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Pages 313-317

  13. Back Matter

    Pages 319-326
    Download chapter PDF
Back to top

Keywords

About this book

Paradigms of Concurrency: Observations, Behaviours, and Systems - a Petri Net View - Ryszard Janicki (McMaster University, CA) Jetty Kleijn (Leiden University, NL) Maciej Koutny (Newcastle University, UK) Lukasz Mikulski (Nicolaus Copernicus University, PL) 

Concurrency can be studied at different yet consistent levels of abstraction: from individual behavioural observations via more abstract concurrent histories that can be represented by causality structures capturing invariant dependencies between executed actions, to system level constructs such as Petri nets or process algebra expressions. Histories can then be understood as sets of closely related observations. Depending on the nature of the observed relationships between executed actions involved in a single concurrent history, one may identify different concurrency paradigms underpinned by different kinds of causality structures such as partial orders. This book studies fundamental mathematical abstractions to capture and relate observations, histories, and systems. In particular, taking a Petri net view, we present system models fitting various concurrency paradigms and their associated causality structures.

Reviews

“The book contains a thorough in-depth study of mathematical structures used in semantics of concurrency. … The book at hand takes the reader onto an in-depth journey of such structures used to give semantics to concurrent systems and their most important properties with regards to questions of expressiveness. … The book should be fairly accessible to an interested reader who is able to follow concise mathematical argumentation.” (Martin Lange, zbMATH 1503.68008, 2023)

Authors and Affiliations

  • Department of Computing and Software, McMaster University, Hamilton, Canada

    Ryszard Janicki

  • LIACS, Leiden University, Leiden, The Netherlands

    Jetty Kleijn

  • School of Computing, Newcastle University, Newcastle upon Tyne, UK

    Maciej Koutny

  • Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Toruń, Poland

    Łukasz Mikulski

Bibliographic Information

  • Book Title: Paradigms of Concurrency

  • Book Subtitle: Observations, Behaviours, and Systems — a Petri Net View

  • Authors: Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski

  • Series Title: Studies in Computational Intelligence

  • DOI: https://doi.org/10.1007/978-3-662-64821-6

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Intelligent Technologies and Robotics, Intelligent Technologies and Robotics (R0)

  • Copyright Information: Springer-Verlag GmbH Germany, part of Springer Nature 2022

  • Hardcover ISBN: 978-3-662-64819-3Published: 07 June 2022

  • eBook ISBN: 978-3-662-64821-6Published: 06 June 2022

  • Series ISSN: 1860-949X

  • Series E-ISSN: 1860-9503

  • Edition Number: 1

  • Number of Pages: XII, 326

  • Number of Illustrations: 186 b/w illustrations, 8 illustrations in colour

  • Topics: Computational Intelligence, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation