We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
b160d72
Implemented Petri nets as attributed C-Sets that allow a user to encode initial variables and parameters into the model along with the structure.