| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 1.4 MB | Adobe PDF |
Advisor(s)
Abstract(s)
Modular 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.
Description
Keywords
Composition Embedded systems design High-level Petri nets Modularity
Citation
RIBEIRO, 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, 2015
Publisher
IEEE - Institute of Electrical and Electronics Engineers Inc.