#7 Petri net chart

[Markus Elfring]

I propose that state charts can also be rendered as Petri nets.
http://www.daimi.au.dk/PetriNets/classification/level1/SM.html

[Markus Elfring]

Logged In: YES
user_id=572001

How do you think about it?
http://www.ipo.tue.nl/homepages/mrauterb/lecturenotes/ID%20lecture-6/sld023.htm

[Tony Cureington]

Logged In: YES
user_id=141318

I'm not sure the tool would be well suited for Petri Nets
given their nondeterministic nature and different types of
transitions. Have you checked out the following tools?

http://petri-net.sourceforge.net/
http://jpetrinet.sourceforge.net/
http://www.informatik.hu-berlin.de/top/pnk/

This website contains many Petri Net tools
http://www.cse.fau.edu/~maria/COURSES/CEN4010-SE/C10/10-7.html

[Markus Elfring]

Logged In: YES
user_id=572001

I see the demo snapshot on the
page "http://jpetrinet.sourceforge.net/" as an another
example for an alternative representation of a state chart.

[Markus Elfring]

Logged In: YES
user_id=572001

Would you like to cooperate with the software "Visual STG
Lab"?
http://vstgl.sourceforge.net/

[Tony Cureington]

Logged In: YES
user_id=141318

I'd be happy to accept code changes to make FSKC operable
with other tools. I have too many other things in the queue
to even contemplate taking on such a task.