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

Groups > comp.programming.threads > #2498

About Petri Nets...

Cross-posted to 2 groups.

Show all headers | View raw

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

Back to comp.programming.threads | Previous | Next | Find similar | Unroll thread

Thread

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

csiph-web