XML format for notation of object-oriented Petri net
Petri nets provide executive facilities for simulation of causality, non-determinism and parallelism in discreet COFFEEBERRY systems.Since they are a mathematical model in substance, they offer theory, which can be successfully used to verification of models.Executability of Petri nets predestinates them for simulation and fast prototyping.Object P