High-level Petri nets

Материал из WikiGrapp

High-level Petri nets --- сети Петри высокого уровня.

The term of high-level Petri net is used for many formalisms that extend the basic Petri net formalism; this includes coloured Petri nets, well-formed Petri nets, hierarchical Petri nets, prioritised Petri nets, timed Petri nets, stochastic Petri nets, dualistic Petri nets and all other extensions.