I don't think you will find it because as far as I know there is no such thing as a "state diagrams method for PLC software design". State diagrams are a means to define in which states a system can be and how it will change from one state to another. You can use state diagrams to describe how a PLC controlled installation should work. The translation from the state diagram to a PLC program is something that has to be done by hand, albeit some manufacturers tried to implement it as a programming language.
The simple answer to your question is this:
- every state has to be programmed as a bistable memory location, e.g. a set-reset
- all arrows coming in to a state translate to the set condition of the memory
- all arrows leaving a state translate to the reset condition of the memory
Kind regards,