1987 | OriginalPaper | Chapter
Some Remarks on D-Continuity
Authors : César Fernández, Agathe Merceron
Published in: Concurrency and Nets
Publisher: Springer Berlin Heidelberg
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
One afternoon in 1978 (or was it in 1977 ?), C.A. Petri called one of the authors of this paper to his room. He wanted to talk about some “axioms of concurrency”. By that time, we knew already that a non-sequential process -viewed as a record of conditions-holdings and events-occurrences of a system- could be modelled using a special type of net called occurrence net, [7], [6]. Since at the behavior level, cycles are unrolled, one may associate to each occurrence net a partially ordered set, poset for short, which is an appropriate mathematical machinery to study non-sequential processes.