Is there any software for drawing a Petri net and generating any source code from there? The source code could be in any already known programming language...
Slight
I'd look at the CPN Tools. They provide all kinds of construction, analysis, simulation of Colored Petri nets, and claim code generation capabilities.