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.de是否要添加一些单词、短语或翻译？
请发送新条目。