This work is concerned with duality of controllability and observability of Timed continuous Petri nets (TCPNs). Based on the duality definition presented in [4] for (discrete) Petri nets, a procedure for computing a dual system of a given TCPN, in a particular configuration, is provided in this work. Furthermore, it is demonstrated that the rank of the controllability matrix of a TCPN and the rank of the observability matrix of its dual are related in a precise manner. The analysis here presented can be used to translate previous results of observability analysis to controllability and vice versa. Zapotitlán 2014 IEEE
Abstract. Whereas the traditional liveness property for Petri nets guar-antees that each transition ...
Abstract. At the end of the eighties, continuous Petri nets were intro-duced for: (1) alleviating th...
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Co...
This work is concerned with duality of controllability and observability of Timed continuous Petri n...
Controllability of timed continuous Petri nets (TCPN) is studied in this work. The analysis addresse...
A large amount of results can be found in the literature regarding the analysis of discrete event sy...
This paper is concerned with controllability of Timed Continuous Petri nets, under infinite server s...
This work is concerned with observability in Discrete Event Systems (DES) modeled by Interpreted Pet...
Abstract. State explosion is a fundamental problem in the analysis and synthesis of discrete event s...
Timed continuous PNs have been used as relaxed models to "approximately" evaluate the performance of...
This paper addresses a sampling problem for timed continuous Petri nets under infinite servers seman...
Optimal observability of continuous Petri Nets consists in deciding the places to be measured (cons...
In this paper we deal with the observability problem in discrete event systems modeled with interpre...
International audienceAt the end of the eighties, continuous Petri nets were introduced for: (1) all...
This paper addresses the observability problem In Discrete Event Systems modeled by Interpreted Petr...
Abstract. Whereas the traditional liveness property for Petri nets guar-antees that each transition ...
Abstract. At the end of the eighties, continuous Petri nets were intro-duced for: (1) alleviating th...
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Co...
This work is concerned with duality of controllability and observability of Timed continuous Petri n...
Controllability of timed continuous Petri nets (TCPN) is studied in this work. The analysis addresse...
A large amount of results can be found in the literature regarding the analysis of discrete event sy...
This paper is concerned with controllability of Timed Continuous Petri nets, under infinite server s...
This work is concerned with observability in Discrete Event Systems (DES) modeled by Interpreted Pet...
Abstract. State explosion is a fundamental problem in the analysis and synthesis of discrete event s...
Timed continuous PNs have been used as relaxed models to "approximately" evaluate the performance of...
This paper addresses a sampling problem for timed continuous Petri nets under infinite servers seman...
Optimal observability of continuous Petri Nets consists in deciding the places to be measured (cons...
In this paper we deal with the observability problem in discrete event systems modeled with interpre...
International audienceAt the end of the eighties, continuous Petri nets were introduced for: (1) all...
This paper addresses the observability problem In Discrete Event Systems modeled by Interpreted Petr...
Abstract. Whereas the traditional liveness property for Petri nets guar-antees that each transition ...
Abstract. At the end of the eighties, continuous Petri nets were intro-duced for: (1) alleviating th...
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Co...