Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.programming.threads > #2498 > unrolled thread

About Petri Nets...

Back to article view | Back to comp.programming.threads

Contents

  About Petri Nets... aminer <aminer@toto.net> - 2014-06-11 11:08 -0700

#2498 — About Petri Nets...

Hello,


I have talked about Petri Nets and my new technic that i have
invented, Petri Nets allows us to analyze the liveliness
of the parallel system and allows us to detect deadlock,
but it doesn't allows us to detect race conditions,
but i think the process of avoiding race conditions
has become easier by using transactional memory,
but i am convinced that an effective way to avoid race conditions
is to learn what better that is race conditions and to learn better
how exactly to avoid  race conditions, i mean the "quality"  of the 
learning process of the "what is" and "how to"  is also a good tool that 
enhance the safety of parallel systems and the safety of parallel 
realtime critical systems..




Thank you,
Amine Moulay Ramdane

[toc] | [standalone]

Back to top | Article view | comp.programming.threads

csiph-web