An algebraic characterization of independence of Petri net processes

Authors:
Józef Winkowski
Affiliations:
Instytut Podstaw Informatyki PAN 01-237 Warszawa, Ordona 21, Poland
Venue:
Information Processing Letters - Special issue: Contribution to computing science
Year:
2003

Citing 10
Cited 11

Petri nets: an introduction

Petri nets: an introduction
Petri nets: basic notions, structure, behaviour

Current trends in concurrency. Overviews and tutorials
Sequential and concurrent behaviour in Petri net theory

Theoretical Computer Science
Axiomatizing net computations and processes

Proceedings of the Fourth Annual Symposium on Logic in computer science
Diamond properties of elementary net systems

Fundamenta Informaticae
Branching processes of Petri nets

Acta Informatica
Models for concurrency

Handbook of logic in computer science (vol. 4)
Introduction to General Net Theory

Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
Basic notions of trace theory

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Categories of asynchronous systems

Categories of asynchronous systems

Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes

Fundamenta Informaticae
An Axiomatic Characterization of Algebras of Processes of Petri Nets

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Behaviour Algebras

Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation

Fundamenta Informaticae
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation

Fundamenta Informaticae
Multiplicative Transition Systems

Fundamenta Informaticae
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation

Fundamenta Informaticae
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation

Fundamenta Informaticae
Behaviour Algebras

Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
An Axiomatic Characterization of Algebras of Processes of Petri Nets

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper is concerned with processes of Petri nets. A partial operation on such processes is defined that allows one to concatenate processes whenever one process is a continuation of another. It is shown that for any Petri net as defined in the paper its set of processes equipped with this operation forms a category in which independence of processes can be characterized in a natural, purely algebraic way.