Skip to content

React cpneditor

Dominic Zimmer requested to merge react-cpneditor into react

CPNEditor has been working pretty much as intended. Otherwise, interaction between CPN and LTS seems to be working to me. Furthermore, I added some eye candy to the LTS when displaying the CPN marking (by rightlicking a state).

Merge request reports