A Dioid Linear Algebra Approach to Study a Class of Continuous Petri Nets
نویسندگان
چکیده
Continuous Event Graphs (CEGs), a subclass of Continuous Petri Nets, are defined as the limiting cases of timed event graphs and Timed Event Multigraphs. A set of dioid algebraic linear equations will be inferred as a novel method of analyzing a special class of CEG, if treated the cumulated token consumed by transitions as state-variables, endowed the monotone nondecreasing functions pointwise minimum as addition, and endowed the lower-semicontinuous mappings, from the collection of monotone nondecreasing functions to itself, the pointwise minimum as addition and composition of mappings as multiplication. As a new modeling approach, it clearly illustrate characteristic of continuous events. Based on the algebraic model, an example of optimal Control is demonstrated.
منابع مشابه
Conflict Management and Resolution Using (max, +) Algebra: Application to Services Interaction
Dioid algebra associated with Petri Nets are appropriate tools for modeling, analyzing, and evaluating the performance of Discrete Event Systems (DESs). These tools are restricted to model systems characterized by choice phenomena and conflicts. In this paper a routing policy to arbitrate and resolve the conflicts encountered while modeling DESs by dioid algebra, is proposed. This routing polic...
متن کاملState Equation and Stability for a Class of Continuous Petri Nets. Application to the Control of a Production System
The paper presents an analysis of continuous Petri nets using linear algebra of matrices. It provides a link between the classical results of linear systems and Petri nets via the continuous model. A class of variable speed continuous Petri nets (VCPNs), namely Extended State Machines VCPNs (ESMVCPNs) is studied. A state-variable representation and its associated matrix algebra are used to desc...
متن کاملHybrid Time Delay Petri Nets as a Mathematical Novel Tool to Model Dynamic System with Current Sample Time
The existing modeling methods using Petri Nets, have been successfully applied to model and analyze dynamic systems. However, these methods are not capable of modeling all dynamic systems such as systems with the current sample time signals, systems including various subsystems and multi-mode systems. This paper proposes Hybrid Time Delay Petri Nets (HTDPN) to solve the problem. In ...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کامل