├── 1-example.xml ├── 2-sequential.xml ├── 3-conflict.xml ├── 4-concurrency.xml ├── 5-synchronization.xml ├── 6-agrupation.xml ├── 7-mutual-exclusion.xml ├── TCPN.xml ├── TCPNextended.xml ├── basicphilosophers.xml ├── changelog.txt ├── dinningphilosophers.xml ├── dist ├── PetriNetSim.jar ├── README.TXT ├── lib │ └── janino.jar └── start.bat ├── lib └── janino.jar ├── manifest.mf ├── nbproject ├── build-impl.xml ├── configs │ └── JWS_generated.properties ├── genfiles.properties ├── jnlp-impl.xml ├── private │ ├── config.properties │ ├── private.properties │ └── private.xml ├── project.properties └── project.xml └── src ├── business ├── Arc.java ├── Global.java ├── InputArc.java ├── Inscription.java ├── NetClass.java ├── NetObject.java ├── OutputArc.java ├── PetriNet.java ├── Place.java ├── Simulation.java ├── TimedSimulation.java ├── Token.java ├── TokenSet.java └── Transition.java ├── data └── FileManager.java └── presentation ├── Canvas.form ├── Canvas.java ├── FrmAbout.form ├── FrmAbout.java ├── FrmAnimationOptions.form ├── FrmAnimationOptions.java ├── FrmNetObject.form ├── FrmNetObject.java ├── FrmNewToken.form ├── FrmNewToken.java ├── FrmViewSource.form ├── FrmViewSource.java ├── GUI.form ├── GUI.java ├── Grid.java ├── SelectionManager.java ├── figures ├── AbstractArcFigure.java ├── AbstractFigure.java ├── ConnectionFigure.java ├── NormalArcFigure.java ├── PathPoint.java ├── PlaceFigure.java ├── TextFigure.java ├── TokenSetFigure.java └── TransitionFigure.java └── images ├── about.png ├── afegir_token.png ├── borrar_token.png ├── createPlace.png ├── createTransition.png ├── exit.png ├── grid.png ├── icon.png ├── logo.png ├── netsource.png ├── new.png ├── normalarc.png ├── open.png ├── pause.png ├── play.png ├── reload.png ├── save.png ├── select.png ├── step.png └── stop.png /1-example.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/1-example.xml -------------------------------------------------------------------------------- /2-sequential.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/2-sequential.xml -------------------------------------------------------------------------------- /3-conflict.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/3-conflict.xml -------------------------------------------------------------------------------- /4-concurrency.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/4-concurrency.xml -------------------------------------------------------------------------------- /5-synchronization.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/5-synchronization.xml -------------------------------------------------------------------------------- /6-agrupation.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/6-agrupation.xml -------------------------------------------------------------------------------- /7-mutual-exclusion.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/7-mutual-exclusion.xml -------------------------------------------------------------------------------- /TCPN.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/TCPN.xml -------------------------------------------------------------------------------- /TCPNextended.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/TCPNextended.xml -------------------------------------------------------------------------------- /basicphilosophers.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/basicphilosophers.xml -------------------------------------------------------------------------------- /changelog.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/changelog.txt -------------------------------------------------------------------------------- /dinningphilosophers.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/dinningphilosophers.xml -------------------------------------------------------------------------------- /dist/PetriNetSim.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/dist/PetriNetSim.jar -------------------------------------------------------------------------------- /dist/README.TXT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/dist/README.TXT -------------------------------------------------------------------------------- /dist/lib/janino.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/dist/lib/janino.jar -------------------------------------------------------------------------------- /dist/start.bat: -------------------------------------------------------------------------------- 1 | java -jar PetriNetSim -------------------------------------------------------------------------------- /lib/janino.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/lib/janino.jar -------------------------------------------------------------------------------- /manifest.mf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/manifest.mf -------------------------------------------------------------------------------- /nbproject/build-impl.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/nbproject/build-impl.xml -------------------------------------------------------------------------------- /nbproject/configs/JWS_generated.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/nbproject/configs/JWS_generated.properties -------------------------------------------------------------------------------- /nbproject/genfiles.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/nbproject/genfiles.properties -------------------------------------------------------------------------------- /nbproject/jnlp-impl.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/nbproject/jnlp-impl.xml -------------------------------------------------------------------------------- /nbproject/private/config.properties: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /nbproject/private/private.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/nbproject/private/private.properties -------------------------------------------------------------------------------- /nbproject/private/private.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/nbproject/private/private.xml -------------------------------------------------------------------------------- /nbproject/project.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/nbproject/project.properties -------------------------------------------------------------------------------- /nbproject/project.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/nbproject/project.xml -------------------------------------------------------------------------------- /src/business/Arc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/business/Arc.java -------------------------------------------------------------------------------- /src/business/Global.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/business/Global.java -------------------------------------------------------------------------------- /src/business/InputArc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/business/InputArc.java -------------------------------------------------------------------------------- /src/business/Inscription.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/business/Inscription.java -------------------------------------------------------------------------------- /src/business/NetClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/business/NetClass.java -------------------------------------------------------------------------------- /src/business/NetObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/business/NetObject.java -------------------------------------------------------------------------------- /src/business/OutputArc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/business/OutputArc.java -------------------------------------------------------------------------------- /src/business/PetriNet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/business/PetriNet.java -------------------------------------------------------------------------------- /src/business/Place.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/business/Place.java -------------------------------------------------------------------------------- /src/business/Simulation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/business/Simulation.java -------------------------------------------------------------------------------- /src/business/TimedSimulation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/business/TimedSimulation.java -------------------------------------------------------------------------------- /src/business/Token.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/business/Token.java -------------------------------------------------------------------------------- /src/business/TokenSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/business/TokenSet.java -------------------------------------------------------------------------------- /src/business/Transition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/business/Transition.java -------------------------------------------------------------------------------- /src/data/FileManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/data/FileManager.java -------------------------------------------------------------------------------- /src/presentation/Canvas.form: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/Canvas.form -------------------------------------------------------------------------------- /src/presentation/Canvas.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/Canvas.java -------------------------------------------------------------------------------- /src/presentation/FrmAbout.form: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/FrmAbout.form -------------------------------------------------------------------------------- /src/presentation/FrmAbout.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/FrmAbout.java -------------------------------------------------------------------------------- /src/presentation/FrmAnimationOptions.form: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/FrmAnimationOptions.form -------------------------------------------------------------------------------- /src/presentation/FrmAnimationOptions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/FrmAnimationOptions.java -------------------------------------------------------------------------------- /src/presentation/FrmNetObject.form: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/FrmNetObject.form -------------------------------------------------------------------------------- /src/presentation/FrmNetObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/FrmNetObject.java -------------------------------------------------------------------------------- /src/presentation/FrmNewToken.form: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/FrmNewToken.form -------------------------------------------------------------------------------- /src/presentation/FrmNewToken.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/FrmNewToken.java -------------------------------------------------------------------------------- /src/presentation/FrmViewSource.form: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/FrmViewSource.form -------------------------------------------------------------------------------- /src/presentation/FrmViewSource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/FrmViewSource.java -------------------------------------------------------------------------------- /src/presentation/GUI.form: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/GUI.form -------------------------------------------------------------------------------- /src/presentation/GUI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/GUI.java -------------------------------------------------------------------------------- /src/presentation/Grid.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/Grid.java -------------------------------------------------------------------------------- /src/presentation/SelectionManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/SelectionManager.java -------------------------------------------------------------------------------- /src/presentation/figures/AbstractArcFigure.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/figures/AbstractArcFigure.java -------------------------------------------------------------------------------- /src/presentation/figures/AbstractFigure.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/figures/AbstractFigure.java -------------------------------------------------------------------------------- /src/presentation/figures/ConnectionFigure.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/figures/ConnectionFigure.java -------------------------------------------------------------------------------- /src/presentation/figures/NormalArcFigure.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/figures/NormalArcFigure.java -------------------------------------------------------------------------------- /src/presentation/figures/PathPoint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/figures/PathPoint.java -------------------------------------------------------------------------------- /src/presentation/figures/PlaceFigure.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/figures/PlaceFigure.java -------------------------------------------------------------------------------- /src/presentation/figures/TextFigure.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/figures/TextFigure.java -------------------------------------------------------------------------------- /src/presentation/figures/TokenSetFigure.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/figures/TokenSetFigure.java -------------------------------------------------------------------------------- /src/presentation/figures/TransitionFigure.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/figures/TransitionFigure.java -------------------------------------------------------------------------------- /src/presentation/images/about.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/images/about.png -------------------------------------------------------------------------------- /src/presentation/images/afegir_token.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/images/afegir_token.png -------------------------------------------------------------------------------- /src/presentation/images/borrar_token.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/images/borrar_token.png -------------------------------------------------------------------------------- /src/presentation/images/createPlace.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/images/createPlace.png -------------------------------------------------------------------------------- /src/presentation/images/createTransition.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/images/createTransition.png -------------------------------------------------------------------------------- /src/presentation/images/exit.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/images/exit.png -------------------------------------------------------------------------------- /src/presentation/images/grid.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/images/grid.png -------------------------------------------------------------------------------- /src/presentation/images/icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/images/icon.png -------------------------------------------------------------------------------- /src/presentation/images/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/images/logo.png -------------------------------------------------------------------------------- /src/presentation/images/netsource.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/images/netsource.png -------------------------------------------------------------------------------- /src/presentation/images/new.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/images/new.png -------------------------------------------------------------------------------- /src/presentation/images/normalarc.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/images/normalarc.png -------------------------------------------------------------------------------- /src/presentation/images/open.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/images/open.png -------------------------------------------------------------------------------- /src/presentation/images/pause.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/images/pause.png -------------------------------------------------------------------------------- /src/presentation/images/play.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/images/play.png -------------------------------------------------------------------------------- /src/presentation/images/reload.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/images/reload.png -------------------------------------------------------------------------------- /src/presentation/images/save.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/images/save.png -------------------------------------------------------------------------------- /src/presentation/images/select.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/images/select.png -------------------------------------------------------------------------------- /src/presentation/images/step.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/images/step.png -------------------------------------------------------------------------------- /src/presentation/images/stop.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guillem-catala/PetriNetSim/HEAD/src/presentation/images/stop.png --------------------------------------------------------------------------------