An algebraic characterization of independence of Petri net processes

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 operati...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Information processing letters 2003-10, Vol.88 (1), p.73-81
1. Verfasser:	Winkowski, Józef
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithmics. Computability. Computer arithmetics Applied sciences Category Computer science control theory systems Computer systems and distributed systems. User interface Concatenation Distributed processing Distributed systems Exact sciences and technology Independence Petri nets Processes Software Software engineering Studies Systems design Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!