F-net

Overview

Entry last updated: 2003/5/18
Entry last validated: 2004/5/17

Tool homepage: http://www.fi.ru/os/petri.php3

Tool availability: Commercial (discounts for academic institutions)

Tool Features

Petri Nets Supported (see also help on terminology)

Stochastic Petri Nets
Petri Nets with Time

Components (see also help on terminology)

Graphical Editor
Token Game Animation
Fast Simulation
State Spaces
Place Invariants
Transition Invariants
Structural Analysis
Simple Performance Analysis
Advanced Performance Analysis

Environments

MS Windows
OS/2

Tool Description

F-nets is new Petri Nets based research method that intended to simulate computer systems and computer complexes operation. F-nets also can simulate other parallel processing discrete systems.

Petri Nets simulation software "Petri Nets for Windows" based on F-nets. It also can operate with standart (classic) Petri Nets, timed Petri Nets or E-nets.

"Petri Nets for Windows" software ensures:

create and edit F-nets simulation model in graphical mode using mouse and window graphic tools;
save models as files and load previously saved models from disk files;
support libraries of F-nets models with help systems and descriptions for each ones;
automaticaly create a large complex models from a set of simple models or a model library;
simulate F-nets in step-by-step mode to debug models and to view the F-nets functionality;
simulate F-nets in quick automatic mode to collect amount of model's statistic information;
save model's statistic information in text files (in tab-separeted format) for future use in other software tools;
save one page image of model on Windows clipboard to print or view it in other software;
formal analyse F-nets or Petri nets based systems (using stantart and authorized analysis methods) - additional feature.

"Petri Nets for Windows" software can contains the next components:

F-nets simulation programm with help system (how to use this software);
Petri Nets and F-nets theory help system with nets examples and some teaching tools;
Simple model libraries with libraries help systems and descriptions.

Contact Information

Molchanov Alexey
Fort-Inform Ltd.
27 (building 12B), Engelsa st., St.Petersburg, Russia
or
Molchanov Alexey
St.-Petersburg State Academy of Aerospace
Instrument Making
B.Morskaya, 67, 190000 St.Petersburg, Russia

Phone:  +7 (812) 326-3831
Fax:    +7 (812) 326-3831 or +7 (812) 554-0387 
E-mail: mill@fi.ru

Other Remarks

The price of this software is depended of using software components configuration. F-nets simulation programm and software libraries is the only one component that required to use this software without fail. This is the minimal configuration. All other software components are optional. Full software configuration includes all components.

The maintainers of this page