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.
2014
1.0
Università di Torino
http://www.di.unito.it/~amparore/mc4cslta/editor.html
GreatSPN GUI, Petri net Editor
Elvio Gilberto Amparore
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1624732
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact