We deal with the problem of designing control logic for railway networks using Petri nets. We first use the framework of supervisory control theory, taking into account the presence of uncontrollable and unobservable transitions, to derive a maximally permissive control policy that ensures safeness. The corresponding controller takes the form of monitor places, possibly with self-loops. In a second step, we investigate the liveness problem and present an heuristic technique based on structural analysis that, whenever applicable, leads to live models. As an example, we consider a segment of the railway network in Sardinia, Italy
%0 Conference Proceedings
%1 GiuaSeatzu01
%A Giua, A.
%A Seatzu, C.
%D 2001
%J Decision and Control, 2001. Proceedings of the 40th IEEE Conference on
%K citas, citeulike deadlock, supervisory
%P 5004--5009 vol.5
%T Supervisory control of railway networks with Petri nets
%U http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=981003
%V 5
%X We deal with the problem of designing control logic for railway networks using Petri nets. We first use the framework of supervisory control theory, taking into account the presence of uncontrollable and unobservable transitions, to derive a maximally permissive control policy that ensures safeness. The corresponding controller takes the form of monitor places, possibly with self-loops. In a second step, we investigate the liveness problem and present an heuristic technique based on structural analysis that, whenever applicable, leads to live models. As an example, we consider a segment of the railway network in Sardinia, Italy
@proceedings{GiuaSeatzu01,
abstract = {{We deal with the problem of designing control logic for railway networks using Petri nets. We first use the framework of supervisory control theory, taking into account the presence of uncontrollable and unobservable transitions, to derive a maximally permissive control policy that ensures safeness. The corresponding controller takes the form of monitor places, possibly with self-loops. In a second step, we investigate the liveness problem and present an heuristic technique based on structural analysis that, whenever applicable, leads to live models. As an example, we consider a segment of the railway network in Sardinia, Italy}},
added-at = {2017-09-08T10:52:59.000+0200},
author = {Giua, A. and Seatzu, C.},
biburl = {https://www.bibsonomy.org/bibtex/26357d54340519828449903d5b7294cb1/fernand0},
citeulike-article-id = {832203},
citeulike-linkout-0 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=981003},
interhash = {b6e082eb016b5ea632bc1282ebb8ec9c},
intrahash = {6357d54340519828449903d5b7294cb1},
journal = {Decision and Control, 2001. Proceedings of the 40th IEEE Conference on},
keywords = {citas, citeulike deadlock, supervisory},
pages = {5004--5009 vol.5},
posted-at = {2006-09-06 11:53:55},
priority = {2},
timestamp = {2017-09-08T10:53:23.000+0200},
title = {{Supervisory control of railway networks with Petri nets}},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=981003},
volume = 5,
year = 2001
}