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

Groups > comp.programming.threads > #2497

Intelligent easiness

Cross-posted to 2 groups.

Show all headers | View raw

Hello,


As you have seen me taking about Petri Nets that allows us to analyze 
parallel systems and parallel applications...

And ss i have tried to explain that i have got a diploma in 
micro-electronics and informatics, and i have learned about automata 
systems at school, but i have never learned about Petri Nets that are 
more effective than automata in analyzing parallel systems and parallel 
applications, but when i have learned Petri Nets by myself i have still 
found Petri Nets a difficult process to analyze parallel systems, cause 
for example i have tried to represent a semaphore and a critical section 
and the windows WaitForSingleObject() and the windows 
WaitForMultipleObjects() using Petri Nets, but i have still found
this process difficult, so in accordance with my philosophy of
"intelligent easiness" i have tried to invent an easy technic
that permit us to represent easily critical sections and semaphores
and the windows WaitForSingleObject() and the window 
WaitForMultipleObjects() using Petri Nets ,  so 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 Critical 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, 
and in accordance with my philosophy
of "intelligent easiness" i have also wrote an easy to learn tutorial
about Petri Nets that uses my new technic that i have invented.

You can download my html tutorial that uses Object pascal from here:

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

and you can download Tina(Time petri Net Analyzer) that i have used in 
my tutorial from here:

http://projects.laas.fr/tina/

Also you need to download Romeo from here:

http://romeo.rts-software.org/



Thank you,
Amine Moulay Ramdane.

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

Thread

Intelligent easiness aminer <aminer@toto.net> - 2014-06-11 10:16 -0700

csiph-web