Time Petri Nets State Space Reduction Using Dynamic Programming
نویسنده
چکیده
In this paper a parametric description for the state space of an arbitrary TPN is given. An enumerative procedure for reducing the state space is introduced. The reduction is defined as a truncated multistage decision problem and solved recursively. A reachability graph is defined in a discrete way by using the reachable integer-states of the TPN.
منابع مشابه
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 ...
متن کاملTimed Petri Nets in Hybrid Systems: Stability and Supervisory Control
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in dealing with concurrency and complexity issues. A brief overview of existing results on hybrid systems that are based on Petri nets is first presented. A class of timed Petri nets named programmable timed Petri nets (PTPN)...
متن کاملDefining and Implementing Dynamic Semantics of Object Oriented High Level Petri Nets
This paper deals with the dynamic semantics of a new proposed formalism, called Object Oriented High Level Petri Nets (OOHLPN). In the first part of the paper, the formal definition of OOHLPN is briefly introduced, and an example of using OOHLPN is provided. The second part of the paper presents the dynamic semantics of OOHLPN. First, the semantics of Extended High Level Petri Nets with Objects...
متن کاملSynthesis of Asynchronous Hardware from Petri Nets
As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call for new approaches in the area of behavioural models. This paper focuses on some of recent developments and new opportunities for Petri nets in designing asynchronous circuits such as synthesis of asynchronous control circuits...
متن کاملEecient State Space Search for Time Petri Nets
Partial-order reduction methods provide a number of well studied methods that have been succesfully applied to the state-space explosion problem that arises when analysing state based models of concurrent and reactive systems. The techniques have mainly been studied within the context of untimed systems, in the context of real-time systems little progress has been made. The main problem seems t...
متن کامل