- Tytuł:
- Petri nets and resource bisimulation
- Autorzy:
-
Bashkin, V.A.
Lomazova, I.A. - Data publikacji:
- 2003
- Słowa kluczowe:
-
Petri net
resource similarity
bisimulation equivalence
high-level Petri nets
nested Petri nets - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł