Ribeiro, JoséMelicio, FernandoGomes, Luís2016-04-142016-04-142015RIBEIRO, José; [et al] - High-level Petri nets modules for embedded controllers design. INDIN 2015, 2015 IEEE 13th International Conference on Industrial Informatics. ISBN 978-1-4799-6649-3. pp. 876-882, 2015978-1-4799-6649-3http://hdl.handle.net/10400.21/5984Modular design is crucial to manage large-scale systems and to support the divide-and-conquer development approach. It allows hierarchical representations and, therefore, one can have a system overview, as well as observe component details. Petri nets are suitable to model concurrent systems, but lack on structuring mechanisms to support abstractions and the composition of sub-models, in particular when considering applications to embedded controllers design. In this paper we present a module construct, and an underlying high-level Petri net type, to model embedded controllers. Multiple interfaces can be declared in a module, thus, different instances of the same module can be used in different situations. The interface is a subset of the module nodes, through which the communication with the environment is made. Module places can be annotated with a generic type, overridden with a concrete type at instance level, and constants declared in a module may have a new value in each instance.engCompositionEmbedded systems designHigh-level Petri netsModularityconference object10.1109/INDIN.2015.7281851