Publication date
September 2020
DOIAbstract
Implemented Petri nets as a C-Set that allow you to encode initial values and parameters along with the structure of the petri net
Implemented Petri nets as a C-Set that allow you to encode initial values and parameters along with the structure of the petri net
Petri nets are graphical and mathematical modeling tools applicable to many systems. They are promi...
This survey retraces, collects, and summarises the contributions of the author --- both individually...
This paper retraces, collects, and summarises the contributions of the author --- both individually ...
Implemented Petri nets as a C-Set that allow you to encode initial values and parameters along with ...
Updated to Petri v1.0, this will cause breaking changes because of major updates to the Petri.jl API
Added support for Catlab v0.13 (structacsets update) Refactored Petri visualization for greater flex...
AlgebraicPetri v0.8.4 Diff since v0.8.3 Merged pull requests: Add utility to flatten labelled petri...
AlgebraicPetri v0.8.3 Diff since v0.8.2 Merged pull requests: Typed Petri net support (#88) (@olync...
Resolved bug with latest Catlab version because of ambiguous ACset constructors (#31
AlgebraicPetri v0.8.7 Diff since v0.8.6 Merged pull requests: update version number (#116) (@mehalt...
SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...
Petri Nets (PN) are a consolidated formal model for distributed systems. Classical PNs however are i...
AbstractPetri nets gain a great deal of modelling power by representing dynamically changing items a...
AlgebraicPetri v0.8.1 Diff since v0.8.0 Merged pull requests: Constructors of Petri net types are t...
SIGLECNRS RS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Petri nets are graphical and mathematical modeling tools applicable to many systems. They are promi...
This survey retraces, collects, and summarises the contributions of the author --- both individually...
This paper retraces, collects, and summarises the contributions of the author --- both individually ...
Implemented Petri nets as a C-Set that allow you to encode initial values and parameters along with ...
Updated to Petri v1.0, this will cause breaking changes because of major updates to the Petri.jl API
Added support for Catlab v0.13 (structacsets update) Refactored Petri visualization for greater flex...
AlgebraicPetri v0.8.4 Diff since v0.8.3 Merged pull requests: Add utility to flatten labelled petri...
AlgebraicPetri v0.8.3 Diff since v0.8.2 Merged pull requests: Typed Petri net support (#88) (@olync...
Resolved bug with latest Catlab version because of ambiguous ACset constructors (#31
AlgebraicPetri v0.8.7 Diff since v0.8.6 Merged pull requests: update version number (#116) (@mehalt...
SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...
Petri Nets (PN) are a consolidated formal model for distributed systems. Classical PNs however are i...
AbstractPetri nets gain a great deal of modelling power by representing dynamically changing items a...
AlgebraicPetri v0.8.1 Diff since v0.8.0 Merged pull requests: Constructors of Petri net types are t...
SIGLECNRS RS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Petri nets are graphical and mathematical modeling tools applicable to many systems. They are promi...
This survey retraces, collects, and summarises the contributions of the author --- both individually...
This paper retraces, collects, and summarises the contributions of the author --- both individually ...
Add to ORKG