An Axiomatic Characterization of Algebras of Processes of Petri Nets

Authors:
Józef Winkowski
Affiliations:
Institute of Computer Science Polish Academy of Sciences Ordona 21, 01-237 Warszawa, Poland. E-mail: wink@ipipan.waw.pl
Venue:
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Year:
2006

Citing 8
Cited 4

Petri nets: basic notions, structure, behaviour

Current trends in concurrency. Overviews and tutorials
Elementary net systems

Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Axiomatizing net computations and processes

Proceedings of the Fourth Annual Symposium on Logic in computer science
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
An algebraic characterization of independence of Petri net processes

Information Processing Letters - Special issue: Contribution to computing science
Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes

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
Towards a Framework for Modelling Behaviours of Hybrid Systems

Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper is concerned with algebras which can be obtained by endowing sets of processes of Petri nets with a sequential and a parallel composition. The considered algebras are categories with additional structures and special properties. It is shown that all structures which enjoy such properties can be represented as algebras of processes of Petri nets.