JFern

Overview

Entry last updated: 2004/5/26
Entry last validated: 2004/5/26

Tool homepage: http://sourceforge.net/projects/jfern

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology)

Object-oriented PNs
High-level Petri Nets
Place/Transition Nets
Petri Nets with Time

Components (see also help on terminology)

Graphical Editor
Token Game Animation
Fast Simulation
State Spaces
Simple Performance Analysis
Interchange File Format

Environments

Java

Tool Description

Rakiura JFern - very lightweight Petri net framework with the simulator, written in Java and designed purely for Java developers. Tokens: Java Objects. Inscription language: pure byte-code compiled Java. XML-based net file format.

Contact Information

Mariusz Nowostawski
University of Otago
PO BOX 56, Dunedin
New Zealand

Phone:  +64 (3) 4798317
Fax:    +64 (3) 4798311
E-mail: mariusz@rakiura.org

Other Remarks

The latest release 3.0 provides support for graphical net construction and editing. Better hierarchical nets handling, better types (colours) of tokens handling, more intuitive inscriptions support, faster implementation, fussion places and page-based net decomposition, XML-based net structure and net layout (net and layout of the net seperated in different files). Net state file format to be provided soon.

The maintainers of this page