Unified enhanced time Petri net models for development of the reactive applications

Abstract

The reactive application development requires models that comprise continuous and logic variables, and reacts continuously and asynchronously to external and internal events. The newly proposed models called Unified Enhanced Time Petri Nets (UETPNs) endow the transitions of Time Petri Nets (enhanced with input and output channels) with mappings that include fuzzy logic features and arithmetic operations. The mappings are used to control the flow of the execution and to calculate the model states. The places have assigned real variables and so the contained tokens are real numbers. Extending the classical fuzzy logic sets with the empty set allows the construction of fuzzy logic rule sets that can model besides the fuzzy Petri nets capabilities the inhibitor arcs and reset arcs. The UETPN can model concurrency, selection, reaction to internal and external events and temporal behavior with fixed and variable delays. An algorithm to execute the UETPN models is provided with some examples of its use for application developments.