1. A method for programming scripts for directing behavior of a telephony call-center system, comprising steps of: (a) selecting Petri Net operator symbols in a graphic user interface (GUI) programmer/editor; (b) placing the symbols in a manner to create a Petri Net directed graph according to desired behavioral constraints for a portion of the system; and (c) compiling an executable software module from the constraints represented by the generated Petri Net according to formality defined within the programmer/editor for the Petri Net directed graph.