Domain model of functional Petri nets.