ivochan / RecirculatingPalletWarehouse Star 1 Code Issues Pull requests Recirculating pallet warehouse modeling and simulation by a Petri Net, using PIPE2 Editor, TPN Designer and Uppaal software simulation modeling petri-net warehouse-management pallet uppaal timed-automata pipe2 conveyor time-petri-nets timed-petri-nets tpn-designer Updated May 17, 2022 HTML
jnonino-crpisetta-icomp / informe Star 0 Code Issues Pull requests Informe de la Tesis para la Carrera en Ingeniería en Computación FCEFyN UNC c latex fpga thesis vhdl latex-document concurrent-programming computer-engineering verilog report petri-nets parallel-programming ip-core time-petri-nets timed-petri-nets Updated Mar 6, 2023 TeX
jnonino-crpisetta-icomp / articulos Star 0 Code Issues Pull requests Artículos escritos en base al Proyecto Final de la carrera Ingeniería en Computación FCEFyN UNC fpga vhdl concurrent-programming computer-engineering verilog academic-publication petri-nets papers parallel-programming ip-core time-petri-nets timed-petri-nets Updated Mar 6, 2023 TeX
jnonino-crpisetta-icomp / implementacion Star 0 Code Issues Pull requests Código Verilog y C realizado para la tesis para la Carrera en Ingeniería en Computación FCEFyN UNC c fpga vhdl concurrent-programming computer-engineering verilog research-project petri-nets academic-project parallel-programming ip-core time-petri-nets timed-petri-nets Updated Mar 6, 2023 C