search

statebox / purescript-studio

Statebox studio + core + API + REST client
https://studio.statebox.cloud
4 stars 0 forks source link

stbx-core: Fix arc multiplicity in conversion from NLL to NetRep #322

Closed epost closed 4 years ago

epost commented 4 years ago

Currently, arc multiplicity is set to by default. Instead, it should be equal to number of occurrences of a PID in an ArrayMultiSet.

epost commented 4 years ago

FYI @marcosh: we can now execute API nets in the Petri net editor by clicking on transitions.

marcosh commented 4 years ago

nice!