coloured petri nets (CPN)
Modelling and Congestion Detection of Wireless Sensor Networks: A Concurrent-based Approach using Coloured Petri Nets
... Congestion in Wireless Sensor Networks (WSNs for short) causes not only packet loss and but also leads to excessive energy consumption. Therefore, congestion needs to be detected as well as controlled in order to prolong ...
9
MODELLING OF A PRE-HOSPITAL EMERGENCY CARE FLOW PROCESS USING TIMED COLOURED PETRI NETS
... Timed Coloured Petri Nets (TCPN) formalism is employed to model a pre-hospital emergency care flow process which is characterized by ambulance localization and emergency call responses using Osun ...
9
Generation of real time fuzzy rule sets by Coloured Petri nets
... Abstract: Petri Nets is a graphical and mathematical modeling tool. CPN Tools is a tool, which is used for the purpose of editing, simulating, and analyzing Coloured Petri nets. The ...
7
Tool support for transforming Unified Modelling Language sequence diagram to coloured Petri nets
... Diagram-to-Coloured Petri Net (SD2CPN) is a scenario-based model transformation tool with analysis ...into coloured Petri nets that enable reliable analysis of the system ...
12
Development of a Modularized Model for a Multi-Process Food Manufacturing System using Hierarchical Timed Coloured Petri Nets
... Conclusively, in order to study and improve food production systems, such as bakery production, pasta production, juice production and cassava chips production, it is found that most existing researches conceptualized on ...
11
Modelling and Initial Analysis of the RMD QOSM (Resource Management in DiffServ) Protocol using Coloured Petri Nets
... The NSIS (Next Steps In Signaling) working group within IETF has developed a new signaling framework. One of the purposes of this framework is to support quality of service provisioning. RMD-QOSM is the protocol that ...
7
Development of A Model for Bank Cash Deposit Transactions Using Hierarchical Timed Coloured Petri Nets
... ABSTRACT: Significant investments are being made yearly to improve service quality and delivery in banking systems to minimize customers‟ dissatisfactions with long waiting time due to overcrowding. However, to address ...
8
Testing and Validation of Modbus/TCP Protocol for Secure SCADA Communication in CPS using Formal Methods
... Abstract. Cyber-Physical Systems (CPS’s) evident representation is Supervisory Control, and Data Acquisition(SCADA). As SCADA is being refurbished with advanced computing and communication technologies, the risk involved ...
18
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
... Various state-based evaluation techniques have been proposed. In state-based models, the software architecture behavior is modeled as an interaction among components. For example, an evaluation technique was put forward ...
10
Incremental specification and analysis in the context of coloured Petri nets
... C.14 The performance of the type-subnet algorithm on the nets of Figure 9.6 a and Figure 9.17 as transitions are added to the net of Figure 9.17 graphed in Figure 9.18 226 C.15 The time [r] ...
273
Probabilistic Congestion of Wireless Sensor Networks: a Coloured Petri Net based Approach
... A CPN model can be organised as a set of hierarchically related modules. CPN models with modules are also called hierarchical Coloured Petri Nets (HCPNs for short) [8, 7]. A HCPN allow di- viding a ...
7
Volume 47: Graph Transformation and Visual Modeling Techniques 2012
... extending Petri nets by ...timed Coloured Petri nets (timed CPNs) [JK09], where the well-known high-level Petri net variant CPNs [Jen92] has been extended by assigning a duration ...
15
THE APPLYING OF THE HARDWARE BASED RECONFIGURATION FOR AUTONOMOUS CONTROL SYSTEMS OF SPACE MOBILE ROBOTS
... Karch, "Cybernetic Education Centre: Monitoring and control of learner's e-learning study in the field of Cybernetics and Automation by Coloured Petri Nets model," in Information Technol[r] ...
13
Qualifications of Petri nets for modeling of logistical systems
... (High-level Petri Nets) s významnou podtřídou barvených Petriho sítí (Coloured Petri Nets), v nichž je problém iden- tifikovatelnosti značek řešen jejich ...
6
A new paradigm for uncertain knowledge representation by Plausible Petri nets
... A. Petri [5] , since their dynamics are based on sequences of Boolean ...Fuzzy Petri nets (FPNs) have received much attention, since they are of particular interest for tackling fuzziness in systems ...
23
Modelling and Analysis of an Integrated Automated Guided Vehicle System using Coloured Petri Net
... nature. Petri Net are powerful techniques to model such systems in that they can handle complex system modeling concepts and ...Moreover, coloured Petri net (CPN) provides compact models of large ...
6
The Web service composition based on colored Petri net
... In this paper, a web service composition method based on colored Petri nets is given. The comparison of pnml description and pnml + owl description method can be used to understand the necessity and ...
6
Representation Theorems for Petri Nets
... at nets as algebraic structures, ...where nets are viewed essentially as internal graphs in categories of sets with structure, and monoidal categories are first used as a suitable semantic framework for ...
11
APC Semantics for Petri Nets
... been attempts to integrate two or more formal methods. Main motivation for using FDT in design and analysis of computer-based systems lies in everyday growing depen- dence of human society on such the systems, ...
8
Towards a Notion of Distributed Time for Petri Nets
... Fischer’s protocol can be easilymodelled in the GT net formalism as was shown in [AN01]. Synchronisation between places B and C is essential for the mutual exclusion property. However, in this example no behaviour of ...
9