I can't imagine there is such a tool. It just doesn't come up enough to generate the need and it would be such a monumental task that almost no one would choose to do this just for fun.
If you have a lot of C/C++ experience and no ladder logic experience then you have to get a few thing straight in your head.
The main issue comes in with the way the program is scanned, especially operator inputs. A PLC program must always loop through the entire program in a set amount of time or it will fault (usually called a watchdog fault). Therefore, you cannot "wait" in a loop for something to happen or someone to press a button or the machine will fault. You can have short loops in the program but they END in time for the program to finish before the watchdog timer.
What helped me was the idea that the control of the program
falls through the ladder diagram. You should not do anything that will stop the falling.
As spaceacealpha pointed out, your best bet is to put together a flow chart.
If you have specific questions along the way, post them here.
If you are not set on the PLC you may want to go for something based on IEC-61131 (Maybe the Modicon does, I have no idea) which uses a language called Structured Text (ST) that at least is entered as statements like C (you even get the semi-colon at the ends of the lines
).
Anyway, good luck, sounds like fun!