Using Unified Enhanced Time Petri Net Models for Cyber-Physical System Development

摘要

The Cyber-Physical Systems (CPSs) are designed as a network of interacting entities with physical inputs and outputs. They usually require reactions involving artificial intelligence and fulfilling some temporal constraints. The newly proposed models, named here Unified Enhanced Time Petri Nets (UETPNs), combine the well-known features of standard Petri Nets (PNs) with timed PNs, fuzzy logic and rule based systems. They are used to conceive a method for developing CPSs that uses a set of communicating components, each of them integrating a UETPN model. The CPSs verification concerns the logical and temporal verification, as well as the performance evaluations. The method is used to conceive a distributed control system for an urban vehicle traffic.