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
Handbook of logic in computer science (vol. 4)
Process versus unfolding semantics for place/transition Petri nets
Theoretical Computer Science - Special volume on Petri nets
Fundamenta Informaticae - Special issue on graph transformations
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Categories of asynchronous systems
Categories of asynchronous systems
An algebraic characterization of independence of Petri net processes
Information Processing Letters - Special issue: Contribution to computing science
An Algebraic Framework for Defining Random Concurrent Behaviours
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
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
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
Hi-index | 0.00 |
The paper is concerned with modelling distributed systems by specifying their states and processes. Processes are defined as activities in a universe of objects, each object with a set of possible internal states, each activity changing states of some objects and establishing or destroying relations among objects. Partial operations of composing processes sequenially and in parallel are defined. It is shown that certain sets of processes form together with these operations categories with additional structures and special properties, that processes of a system can be represented as morphisms of such categories, and that independence of processes can be characterized in a natural, purely algebraic way.