- Tytuł:
- Completeness Results for Generalized Communication-free Petri Nets with Arbitrary Arc Multiplicities
- Autorzy:
-
Mayr, E. W.
Weihmann, J. - Data publikacji:
- 2016
- Słowa kluczowe:
-
generalized communication-free Petri nets
join-free Petri nets
generalized S-systems
weighted state machines
arbitrary arc multiplicities
arbitrary edge multiplicities
general arc multiplicities
general edge multiplicities
generalized Petri nets
general Petri nets
reachability
boundedness
covering
liveness
equivalence
containment - Pokaż więcej
- Dostawca treści:
- BazTech