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.deAqui pode apontar um erro nesta entrada PONS ou propor uma correção:
Como é que posso transferir as traduções para o Treinador de Vocábulos?
Por favor, preste atenção ao facto de que os vocábulos na Lista de Vocábulos só estão disponíveis neste browser. Assim que os vocábulos forem recolhidos no Treinador de Vocábulos, eles estarão disponíveis em todo o lado.