Indeed. Petri nets are based on the idea of synchronization via localized token passing; STM tries to create an illusion of synchronization-free serial execution which explicitly supports non-local 'spooky action at a distance' for references. Petri nets are not a very useful modeling tool here.
-Per On Mon, Mar 22, 2010 at 5:45 PM, alux <alu...@googlemail.com> wrote: > Hi Andrzej, > > I'm not a Petri net specialist too, but I dont see how one could > simulate the view of a Clojure programmer onto STM, without simulation > too the stuff programmers doesnt see: Richs under-the-hood-magic. > > Regards, alux > > Andrzej schrieb: >> On Mon, Mar 22, 2010 at 4:36 AM, alux <alu...@googlemail.com> wrote: >> > >> > as far as I understand, Petri nets are as powerful as any concurrent >> > mechanism. That means you can do all the good things Clojure does, and >> > all the bad things (the other languages do :) too in Petri nets. >> >> I wonder if Petri nets can be applied for modeling systems based on >> STM (in Clojure's flavor). I've only seen them used in common >> lock-based designs (not that it means anything - I barely touched the >> surface). >> >> Andrzej > > -- > You received this message because you are subscribed to the Google > Groups "Clojure" group. > To post to this group, send email to clojure@googlegroups.com > Note that posts from new members are moderated - please be patient with your > first post. > To unsubscribe from this group, send email to > clojure+unsubscr...@googlegroups.com > For more options, visit this group at > http://groups.google.com/group/clojure?hl=en > > To unsubscribe from this group, send email to > clojure+unsubscribegooglegroups.com or reply to this email with the words > "REMOVE ME" as the subject. > -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en To unsubscribe from this group, send email to clojure+unsubscribegooglegroups.com or reply to this email with the words "REMOVE ME" as the subject.
