Repository logo
 
No Thumbnail Available
Publication

Distributed controllers modeling through Petri nets with multi-asynchronous-channels

Use this identifier to reference this record.

Advisor(s)

Abstract(s)

This paper proposes the concept of multi-asynchronous-channel for Petri nets. Petri nets extended with multi-asynchronous-channels and time-domains support the specification of distributed controllers, where each controller has a synchronous execution but the global system is asynchronous (globally-asynchronous locally-synchronous systems). Each multi-asynchronous-channel specify the interaction between two or more distributed controllers. These channels, together with the time-domain concept, ensure the creation of network-independent models to support implementations using heterogeneous communication networks. The created models support not only the systems documentation but also their validation and implementation through simulation tools, verification tools, and automatic code generators. An application example illustrates the use of a Petri net class extended with the proposed channels. © 2015 IEEE.

Description

Keywords

Petri nets Multi-asynchronous-channels

Citation

MOUTINHO, Filipe; [et al] - Distributed controllers modeling through Petri nets with multi-asynchronous-channels. In ICIT 2015 - 2015 IEEE International Conference on Industrial Technology. Seville, Spain: IEEE, 2015. ISBN 978-1-4799-7800-7. Pp. 1564-1569

Research Projects

Organizational Units

Journal Issue

Publisher

IEEE - Institute of Electrical and Electronics Engineers Inc.

CC License

Altmetrics