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.
