Просмотр кода страницы High-level Petri nets

'''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.