2 documents found, page 1 of 1
Prototyping of Concurrent Control Systems with Application of Petri Nets and Co...
Wisniewski, Remigiusz; Karatkevich, Andrei; Adamski, Marian; Costa, Aniko; Gomes, LuisThis paper shows a novel prototyping technique for concurrent control systems described by interpreted Petri nets. The technique is based on the decomposition of an interpreted Petri net into concurrent sequential automata. In general, minimum decomposition requires runtime that is exponential in the number of Petri net places. We show that in many cases, including the real-life ones, the minimum decomposition ...
Executable models for embedded controllers development - A cloud based developm...
Pereira, Fernando; Moutinho, Filipe; Barros, João Paulo; Costa, Aniko; Gomes, LuísFundação para a Ciência e a Tecnologia (FCT) PTDC/EEI-AUT/2641/2012; We present IOPT-Tools, a tool framework for the development of digital controllers based on graphical executable models. The framework supports edition, simulation, verification through state-space querying, and code generation for several hardware platforms, most notably microcontrollers (e.g. Arduino, PIC, and Raspberry Pi) and FPGAs. The to...