Skip to content

tuplle/petri4j

Repository files navigation

Petri4j

GitHub Java GitHub release (latest SemVer) build Quality Gate Status Coverage Known Vulnerabilities

The simplest way to import Petri net

Petri4J is a lightweight java library to import Petri nets into your project/application. The library consists of basic structure and objects to represent general definition of Petri nets. It provides import function with support of several popular formats like Petriflow and JSON format.

Installation

The library is available on Maven Central repository:

<dependency>
  <groupId>com.mladoniczky</groupId>
  <artifactId>petri4j</artifactId>
</dependency>

Or you can download release package from here.

Usage

To import your Petri net into application simply retrieve parser for desired format and load the file with the net.

ParserFactory factory = ParserFactory.getInstance();
Parser parser = factory.getParser(ParsingFormat.PETRIFLOW);
Net net = parser.parse("my-petri-net.xml");

Net object is loaded and constructed synchronously. Only the actual petri net is read from the loaded format.

Reporting issues

If you find a bug, let us know. First, please read our Contribution guide

License

Licensed under the MIT License; you may not use these files except in compliance with the License. You may obtain a copy of the License at

http://www.opensource.org/licenses/mit-license.php

Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.

Releases

No releases published

Packages

No packages published

Languages