An Approach to the Automation of Petri Net Modeling for Interactive Software Development