New GreatSPN Editor is a Graphical User Interface for the GreatSPN framework and for the MC4CSLTA command line model checker (that can be found here). It is an interactive editor, written in the Java language, that can be used to draw Generalized Stochastic Petri Nets (GSPN) and Deterministic Timed Automata (DTA). New GreatSPN Editor runs on Windows, MacOSX and Linux, including 64-bits variants of these platforms.
New GreatSPN Graphical Editor
AMPARORE, ELVIO GILBERTO
2014-01-01
Abstract
New GreatSPN Editor is a Graphical User Interface for the GreatSPN framework and for the MC4CSLTA command line model checker (that can be found here). It is an interactive editor, written in the Java language, that can be used to draw Generalized Stochastic Petri Nets (GSPN) and Deterministic Timed Automata (DTA). New GreatSPN Editor runs on Windows, MacOSX and Linux, including 64-bits variants of these platforms.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.