|
A framework for applied category theory in the Julia language
|
|
Build Petri net models compositionally
|
|
A framework for applied category theory in the Julia language
|
|
Build Petri net models compositionally
|
