- Tytuł:
- Nested Petri nets - a formalism for specification and verification of multi-agent distributed systems
- Autorzy:
- Lomazova, I.A.
- Data publikacji:
- 2000
- Słowa kluczowe:
-
hierarchical multi-agent systems
nested Petri nets
well-structured transition systems
decidability - Pokaż więcej
- Dostawca treści:
- BazTech