| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 1.02 MB | Adobe PDF |
Authors
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
Publisher
IEEE - Institute of Electrical and Electronics Engineers Inc.