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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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.

Original languageEnglish
Title of host publication2015 IEEE International Conference on Industrial Technology (ICIT)
Place of PublicationNew York
PublisherInstitute of Electrical and Electronics Engineers Inc.
Number of pages6
ISBN (Electronic)978-1-4799-7800-7
Publication statusPublished - 2015
Event2015 IEEE International Conference on Industrial Technology, ICIT 2015 - Seville, Spain
Duration: 17 Mar 201519 Mar 2015


Conference2015 IEEE International Conference on Industrial Technology, ICIT 2015


  • Time-domain analysis
  • Petri nets
  • Unified modeling language
  • Semantics
  • Solid modeling
  • Embedded systems
  • Synchronization


Dive into the research topics of 'Distributed controllers modeling through Petri nets with multi-asynchronous-channels'. Together they form a unique fingerprint.

Cite this