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.
The library is available on Maven Central repository:
<dependency>
<groupId>dev.tuplle</groupId>
<artifactId>petri4j</artifactId>
</dependency>Or you can download release package from here.
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.JSON);
Net net = parser.parse("my-petri-net.json");Net object is loaded and constructed synchronously. Only the actual petri net is read from the loaded format.
If you find a bug, let us know. First, please read our Contribution guide
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.