Disc Software Platform

System Requirements:

Pentium 4 1 GHz or upper
512 Mb ram
Windows Xp or upper
Windows Installer 3.1 (will be automatically downloaded and installed if not present)
.Net framework 3.0 (will be automatically downloaded and installed if not present)

Note that the Matlab tool Hypens requires a 32 bit system, since it uses the library glpkmex that requires 32 bit system.

Note that the Matlab tool Pn_Diag_Unbounded requires a 32 bit system when dealing with unbounded Petri net systems, since in this case it uses the library glpk that requires 32 bit system.

Note that the Matlab tool Pn_Diag_Disc requires a 32 bit system when dealing with unbounded Petri net systems, since in this case it uses the library glpk that requires 32 bit system.

Currently supported plug-ins:

P1: This plug-in converts a Petri net described through the Pipe2 PNML into PNML_DISC.
P2: This plug-in converts a Petri net described through MATLAB_DISC into PNML_DISC.
P3: This plug-in converts an Automaton described through Desuma (fsm) into PNML_DISC.
P5: This plug-in converts a Petri net described through PNToolbox into PNML_DISC.
P7: This plug-in converts the reachability graph generated by Tina into an Automaton described through Desuma (fsm).
P8: This plug-in converts a Petri net described through Hypens_ MATLAB to MATLAB_DISC.
P9: This plug-in converts a Petri net described through PN_DIAG MATLAB to MATLAB_DISC.
P10: This plug-in converts a Petri net described through PN_DIAG_DISC MATLAB to MATLAB_DISC.
P13: This plug-in converts a Petri net described through Hybrid Pn Simulator MATLAB (.mat) to MATLAB_DISC.
P17: This plug-in converts a Petri net described through Hybrid Pn Simulator MATLAB (.m) to MATLAB_DISC.

[Download Plugins Source codes]

Currently supported adapters:

A1: This Adapter converts a Petri net described through the PNML_DISC into MATLAB_DISC.
A2: This adapter converts a Petri net described through the PNML_DISC file format into MATLAB_DISC.
A5: This adapter converts a Petri net described through the PNML_DISC PN Toolbox xml.
A8: This adapter converts a Petri net described through the MATLAB_DISC file format into the specific Hypens MATLAB file format.
A9: This adapter converts a Petri net described through the MATLAB_DISC file format into the specific PN_DIAG MATLAB file format.
A10: This adapter converts a Petri net described through MATLAB_DISC into PN_DIAG_DISC MATLAB file format.
A13: This adapter converts a Petri net described through the Matlab_DISC file format into the same net described through the specific Matlab_HybPnSim file format, used for the tool SimHPN.
A14: This adapter converts a Petri net described through Matlab_DISC into MinMaxGd compatible file format.
A16: This adapter converts an Automata described through Desuma (fsm) into LibFaudes compatible file format.
A17: This adapter converts a Petri net described through Matlab_DISC into Matlab_HybPnSim compatible file format.

[Download Adapters Source codes]

Currently supported external tools:

Matlab
Pipe2
Tina
Desuma
Hypens (it requires 32 bit systems)
Pn_Diag
Pn_Diag_2
Pn_Diag_Unbounded (it requires 32 bit systems)
Pn_Diag_Disc (it requires 32 bit systems)
SimHPN
Petri Net Toolbox
PM Editor
LibFaudes
MinMaxgd library

Pnml_Disc Editor (Windows)
Pnml_Disc Editor (Mac)
Pnml_Disc Editor (Linux)

PNML extension: PNML_DISC [pdf]

Software Platform

Download Software Platform latest version (v. 1.4.17 - Windows Installer)
Download Software Platform latest version (v. 1.4.15 - No Installation)
Download Software Platform source code (Visual Studio Project)
Demo1 (requires Matlab, Pipe2, Tina)
Demo2 (requires Matlab, Pipe2, Tina, Desuma)
Demo3 (does not requires Matlab, but requires Pipe2, Tina)
Demo4 (requires Matlab, SimHPN)
Demo5 (requires Matlab, Pipe2, Tina)
Demo6 (requires Matlab, Pipe2, Tina)

Software Platform Manual and Documentation

Download Software Platform Manual
Download Software Platform Documentation

Web: http://www.disc-project.eu