An Axiomatic Characterization of Algebras of Processes of Petri Nets

Issue title: SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28–30 September 2005

Article type: Research Article

Authors: Winkowski, Józef

Affiliations: Institute of Computer Science Polish Academy of Sciences Ordona 21, 01-237 Warszawa, Poland. E-mail: wink@ipipan.waw.pl

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.

Keywords: Petri nets, states, processes, sequential composition, parallel composition, category, partial monoid

Journal: Fundamenta Informaticae, vol. 72, no. 1-3, pp. 407-420, 2006