- Tytuł:
- Logic and Algebra in Unfolded Petri Nets : on a Duality Between Concurrency and Causal Dependence
- Autorzy:
-
Bernardinello, Luca
Ferigato, Carlo
Pomello, Lucia - Data publikacji:
- 2020
- Słowa kluczowe:
-
mathematical logic
Petri nets
partially ordered sets
orthogonalization - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł