[lnkForumImage]
TotalShareware - Download Free Software
Confronta i prezzi di migliaia di prodotti.
Asp Forum
 Home | Login | Register | Search 


 

Forums >

comp.programming

My new technic...

aminer

6/10/2014 12:21:00 PM


Hello,


The technic that i have invented is the following:

If you want to model a semaphore or a critical sections
or the windows WaitForSingleObject() or WaitForSingleObject()
before it was difficult for an engineer to model the parallel program
easily in Petri Nets, but with my new technic that i have invented,
i have added a layer of expressivness that easy the modeling of parallel
apllications for us, so i have transformed the Petri Nets modeling so
that we reason about parallel programs by using If-then-else statements
, so i have modeled the Semaphore and
Cirtical section and the windows WaitForSingleObject() or
WaitForSingleObject() with If-then-else statements and those
If-then-else statements have easy the modeling and reasonning for us,
and the way to transorm a parallel application with those If-then-else
statements to the Petri-Nets is more easy than without those statements..


Please take a look at my new technic here:

https://sites.google.com/site/aminer68/how-to-analyse-parallel-applications-with-...



Thank you,
Amine Moulay Ramdane.