Download JAR files tagged by petri with all dependencies

umlatj-petri from group org.umlatj (version 0.1.0)

Petri Net Implementation

Group: org.umlatj Artifact: umlatj-petri
Show documentation Show source

0 downloads

Artifact umlatj-petri
Group org.umlatj
Version 0.1.0
Last update 08. July 2010
Organization not specified
URL http://code.google.com/p/umlatj/
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

act-token from group org.requirementsascode.act (version 0.6.5)

Petri net like semantics for act.

Group: org.requirementsascode.act Artifact: act-token
Show all versions Show documentation Show source

0 downloads

Artifact act-token
Group org.requirementsascode.act
Version 0.6.5
Last update 15. October 2022
Organization not specified
URL http://requirementsascode.org/
License The Apache Software License, Version 2.0
Dependencies amount 1
Dependencies act-statemachine,
There are maybe transitive dependencies!

act-places from group org.requirementsascode.act (version 0.6.3)

Petri net like semantics for act.

Group: org.requirementsascode.act Artifact: act-places
Show documentation Show source

0 downloads

Artifact act-places
Group org.requirementsascode.act
Version 0.6.3
Last update 11. October 2022
Organization not specified
URL http://requirementsascode.org/
License The Apache Software License, Version 2.0
Dependencies amount 1
Dependencies act-statemachine,
There are maybe transitive dependencies!

castanet_3 from group ee.mn8 (version 0.1.5)

Coloured Petri fo Scala 3

Group: ee.mn8 Artifact: castanet_3
Show all versions Show documentation Show source

0 downloads

Artifact castanet_3
Group ee.mn8
Version 0.1.5
Last update 18. February 2022
Organization MN8 Technology (Pty) Ltd
URL https://github.com/username/project
License MIT License
Dependencies amount 12
Dependencies scala3-library_3, cats-core_3, fs2-core_3, fs2-io_3, cats-effect_3, monocle-core_3, scodec-bits_3, scala3-staging_3, circe-yaml_3, circe-core_3, circe-generic_3, circe-parser_3,
There are maybe transitive dependencies!

sirio from group org.oris-tool (version 2.0.3)

Library for the analysis of stochastic Petri nets

Group: org.oris-tool Artifact: sirio
Show all versions Show documentation Show source

0 downloads

Artifact sirio
Group org.oris-tool
Version 2.0.3
Last update 03. January 2022
Organization STLAB
URL https://www.oris-tool.org/
License GNU Affero General Public License 3.0
Dependencies amount 9
Dependencies auto-value-annotations, guava, jfreechart, jgraphx, ejml-all, commons-math3, la4j, slf4j-api, commons-csv,
There are maybe transitive dependencies!

fr.lip6.pnml.framework.hlpn from group fr.lip6.pnml (version 2.2.12)

High-level Petri Nets Library

Group: fr.lip6.pnml Artifact: fr.lip6.pnml.framework.hlpn
Show all versions Show source

0 downloads

Artifact fr.lip6.pnml.framework.hlpn
Group fr.lip6.pnml
Version 2.2.12
Last update 18. May 2016
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

fr.lip6.pnml.framework.pthlpng from group fr.lip6.pnml (version 2.2.12)

Place/Transition Nets as High-Level Petri Nets Graph Library

Group: fr.lip6.pnml Artifact: fr.lip6.pnml.framework.pthlpng
Show all versions Show source

0 downloads

Artifact fr.lip6.pnml.framework.pthlpng
Group fr.lip6.pnml
Version 2.2.12
Last update 18. May 2016
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

validation.releng from group fr.lip6.pnml (version 1.2.4)

PNML Document Checker is a free tool to check the conformance of your Petri Net Markup Language Documents with the ISO/IEC 15909-2 standard.

Group: fr.lip6.pnml Artifact: validation.releng
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact validation.releng
Group fr.lip6.pnml
Version 1.2.4
Last update 11. February 2016
Organization Univ. Paris Ouest and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6)
URL http://pnml.lip6.fr/pnmlvalidation
License Eclipse Public License - Version 1.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

tools from group de.uni.freiburg.iig.telematik (version 1.0.2)

Our tools form the base for the security workflow analysis toolkit SWAT and the Petri net editor Wolfgang.

Group: de.uni.freiburg.iig.telematik Artifact: tools
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact tools
Group de.uni.freiburg.iig.telematik
Version 1.0.2
Last update 22. January 2016
Organization Institute of Computer Science and Social Studies, Department of Telematics
URL https://github.com/iig-uni-freiburg/tools
License bsd_3
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

SEPIA from group de.uni.freiburg.iig.telematik (version 1.0.2)

SEPIA provides implementations for various types of Petri nets. Along Place/Transition-nets, it supports Petri nets with distinguishable token colors and defines coloured workflow nets, where coloured tokens are interpreted as data elements used during process execution. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and persons/agents participating in the process execution.

Group: de.uni.freiburg.iig.telematik Artifact: SEPIA
Show all versions Show documentation Show source

0 downloads

Artifact SEPIA
Group de.uni.freiburg.iig.telematik
Version 1.0.2
Last update 22. January 2016
Organization Institute of Computer Science and Social Studies, Department of Telematics
URL https://github.com/iig-uni-freiburg/SEPIA
License bsd_3
Dependencies amount 4
Dependencies TOVAL, JAGAL, SEWOL, msv-core,
There are maybe transitive dependencies!

Page 1 from 1 (items total 10)