Auch die meisten Original-Axiomensysteme von C.A.Petri werden in dieser Arbeit vorgestellt.
In der Arbeit Physically Motivated Axiomatic Concurrency Theory - A Posetless Approach ( bzw. in der überarbeiteten Fassung Concurrency Theory of Cyclic and Acyclic Processes ) behandelt Mark-Oliver Stehr die Concurrency- Theorie ohne Annahme einer unterliegenden, partiellen Ordnung von der ( üblicherweise ) die Kausalrelation abgeleitet wird.
Zusätzlich zu ( unendlichen ) azyklischen Modellen führt dies zur Betrachtung von zyklischen aber endlichen Modellen, die zahlreiche Schwierigkeiten bereiten.
www.informatik.uni-hamburg.deAlso most of the original axiomatic systems and ideas of C.A.Petri are presented in this work.
In Physically Motivated Axiomatic Concurrency Theory - A Posetless Approach ( and in the revised version Concurrency Theory of Cyclic and Acyclic Processes ) Mark-Oliver Stehr treats concurrency theory without the assumption of an underlying partial order from which the causality relation is derived.
In addition to ( infinite ) acyclic models this leads to consideration of cyclic but finite models leading to several difficulties.
www.informatik.uni-hamburg.deYou can suggest improvements to this PONS entry here:
How can I copy translations to the vocabulary trainer?
Please note that the vocabulary items in this list are only available in this browser. Once you have copied them to the vocabulary trainer, they are available from everywhere.