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Εδώ μπορείτε να σημειώσετε βελτιωτικές προτάσεις ή σχόλια σχετικά με λάθη σε αυτό το λήμμα:
Πώς μπορώ να μεταφέρω τις μεταφράσεις στον προπονητή λεξιλογίου;
Έχετε υπόψη ότι τα λήμματα σε αυτήν τη λίστα λεξιλογίου διατίθενται μόνο σε αυτό τον περιηγητή. Μόλις τα περάσετε όμως στον προπονητή λεξιλογίου, θα μπορείτε να τα καλέσετε από παντού.