Publication Information

{'id': 'https://openalex.org/W2038467215', 'doi': 'https://doi.org/10.1002/rnc.1421', 'title': 'Supervisory control of concurrent systems: a petri net structural approach. Marian V. Iordache and Panos J. Antsaklis, Birkhauser, Boston, 2006.', 'display_name': 'Supervisory control of concurrent systems: a petri net structural approach. Marian V. Iordache and Panos J. Antsaklis, Birkhauser, Boston, 2006.', 'publication_year': 2009, 'publication_date': '2009-06-25', 'ids': {'openalex': 'https://openalex.org/W2038467215', 'doi': 'https://doi.org/10.1002/rnc.1421', 'mag': '2038467215'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1002/rnc.1421', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S156578089', 'display_name': 'International Journal of Robust and Nonlinear Control', 'issn_l': '1049-8923', 'issn': ['1049-8923', '1099-1239'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310320595', 'host_organization_name': 'Wiley', 'host_organization_lineage': ['https://openalex.org/P4310320595'], 'host_organization_lineage_names': ['Wiley'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': ['crossref'], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5029687135', 'display_name': 'Francesco Basile', 'orcid': 'https://orcid.org/0000-0002-3204-9656'}, 'institutions': [{'id': 'https://openalex.org/I131729948', 'display_name': 'University of Salerno', 'ror': 'https://ror.org/0192m2k53', 'country_code': 'IT', 'type': 'education', 'lineage': ['https://openalex.org/I131729948']}], 'countries': ['IT'], 'is_corresponding': True, 'raw_author_name': 'Francesco Basile', 'raw_affiliation_strings': ["Dip. Ing. dell'Informazione e Ing. Elettrica, Università di Salerno, via ponte don Melillo, 84084 Fisciano, Salerno, Italy"], 'affiliations': [{'raw_affiliation_string': "Dip. Ing. dell'Informazione e Ing. Elettrica, Università di Salerno, via ponte don Melillo, 84084 Fisciano, Salerno, Italy", 'institution_ids': ['https://openalex.org/I131729948']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': ['https://openalex.org/A5029687135'], 'corresponding_institution_ids': ['https://openalex.org/I131729948'], 'apc_list': {'value': 4070, 'currency': 'USD', 'value_usd': 4070, 'provenance': 'doaj'}, 'apc_paid': None, 'fwci': 0.0, 'has_fulltext': True, 'fulltext_origin': 'ngrams', 'cited_by_count': 1, 'citation_normalized_percentile': {'value': 0.401022, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 64, 'max': 71}, 'biblio': {'volume': '19', 'issue': '12', 'first_page': '1397', 'last_page': '1400'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T11125', 'display_name': 'Petri Nets in System Modeling', 'score': 1.0, 'subfield': {'id': 'https://openalex.org/subfields/1703', 'display_name': 'Computational Theory and Mathematics'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, 'topics': [{'id': 'https://openalex.org/T11125', 'display_name': 'Petri Nets in System Modeling', 'score': 1.0, 'subfield': {'id': 'https://openalex.org/subfields/1703', 'display_name': 'Computational Theory and Mathematics'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, {'id': 'https://openalex.org/T10772', 'display_name': 'Distributed systems and fault tolerance', 'score': 0.9972, 'subfield': {'id': 'https://openalex.org/subfields/1705', 'display_name': 'Computer Networks and Communications'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, {'id': 'https://openalex.org/T10142', 'display_name': 'Formal Methods in Verification', 'score': 0.9961, 'subfield': {'id': 'https://openalex.org/subfields/1703', 'display_name': 'Computational Theory and Mathematics'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}], 'keywords': [], 'concepts': [{'id': 'https://openalex.org/C38677869', 'wikidata': 'https://www.wikidata.org/wiki/Q724168', 'display_name': 'Petri net', 'level': 2, 'score': 0.736862}, {'id': 'https://openalex.org/C92991967', 'wikidata': 'https://www.wikidata.org/wiki/Q7644329', 'display_name': 'Supervisory control', 'level': 3, 'score': 0.6138936}, {'id': 'https://openalex.org/C2775924081', 'wikidata': 'https://www.wikidata.org/wiki/Q55608371', 'display_name': 'Control (management)', 'level': 2, 'score': 0.4675198}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.39408505}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.22075906}, {'id': 'https://openalex.org/C154945302', 'wikidata': 'https://www.wikidata.org/wiki/Q11660', 'display_name': 'Artificial intelligence', 'level': 1, 'score': 0.14742422}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1002/rnc.1421', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S156578089', 'display_name': 'International Journal of Robust and Nonlinear Control', 'issn_l': '1049-8923', 'issn': ['1049-8923', '1099-1239'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310320595', 'host_organization_name': 'Wiley', 'host_organization_lineage': ['https://openalex.org/P4310320595'], 'host_organization_lineage_names': ['Wiley'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [{'id': 'https://metadata.un.org/sdg/9', 'score': 0.53, 'display_name': 'Industry, innovation and infrastructure'}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 12, 'referenced_works': ['https://openalex.org/W1556549343', 'https://openalex.org/W1559445994', 'https://openalex.org/W1587663028', 'https://openalex.org/W1962985716', 'https://openalex.org/W1996109622', 'https://openalex.org/W2059057465', 'https://openalex.org/W2117263261', 'https://openalex.org/W2124901174', 'https://openalex.org/W2149030441', 'https://openalex.org/W2509841691', 'https://openalex.org/W4236164983', 'https://openalex.org/W4240675588'], 'related_works': ['https://openalex.org/W48368865', 'https://openalex.org/W4230983483', 'https://openalex.org/W2748952813', 'https://openalex.org/W2618382002', 'https://openalex.org/W2321263950', 'https://openalex.org/W2165576794', 'https://openalex.org/W1972186475', 'https://openalex.org/W1959638094', 'https://openalex.org/W1551257573', 'https://openalex.org/W120843661'], 'abstract_inverted_index': {'Discrete': [0], 'event': [1, 79, 226, 249, 387, 496, 538, 558, 598, 806], 'systems': [2, 6, 36, 73, 269, 1472, 1475, 1570], '(DESs)': [3], 'are': [4, 130, 137, 166, 220, 318, 329, 441, 600, 929, 955, 988, 1224, 1228, 1336, 1345, 1365, 1407, 1444, 1461, 1476, 1495, 1637, 1671], 'dynamic': [5], 'that': [7, 74, 292, 532, 550, 566, 631, 698, 803, 883, 1174, 1217, 1323, 1386, 1400, 1424, 1449, 1529, 1608], 'satisfy': [8], 'two': [9, 184, 570], 'properties:': [10], 'their': [11, 191, 692, 1150], 'state': [12, 20, 359, 414, 432, 536, 555, 829, 1147, 1514, 1553], 'space': [13], 'is': [14, 98, 113, 178, 194, 211, 227, 245, 250, 264, 291, 349, 377, 434, 486, 522, 552, 618, 627, 691, 721, 736, 743, 785, 798, 824, 868, 893, 1006, 1023, 1053, 1091, 1195, 1249, 1270, 1316, 1390, 1393, 1453, 1480, 1512, 1571, 1594, 1689, 1710, 1818, 1841], 'a': [15, 69, 90, 260, 347, 352, 366, 380, 417, 471, 489, 530, 548, 554, 589, 628, 633, 699, 707, 718, 729, 738, 856, 894, 972, 1000, 1042, 1074, 1107, 1278, 1289, 1293, 1303, 1317, 1337, 1359, 1425, 1450, 1513, 1516, 1522, 1530, 1544, 1548, 1565, 1612, 1617, 1626, 1650, 1698, 1701, 1713, 1718, 1735, 1842], 'discrete': [16, 78, 597], 'set': [17, 151, 367, 472, 1222, 1325, 1330], 'and': [18, 64, 107, 190, 277, 338, 355, 581, 596, 695, 741, 754, 771, 775, 835, 866, 882, 886, 943, 948, 960, 974, 1035, 1149, 1185, 1213, 1241, 1281, 1312, 1362, 1417, 1435, 1438, 1486, 1526, 1537, 1554, 1677, 1692, 1723, 1749, 1778, 1784, 1854, 1856, 1872, 1878], 'the': [19, 25, 51, 58, 119, 133, 144, 148, 154, 181, 186, 197, 200, 208, 241, 270, 284, 293, 307, 311, 326, 333, 342, 384, 390, 394, 413, 421, 445, 493, 501, 567, 578, 582, 619, 637, 696, 733, 776, 815, 846, 890, 905, 911, 914, 920, 940, 962, 975, 1004, 1021, 1026, 1065, 1097, 1111, 1134, 1159, 1172, 1176, 1199, 1208, 1221, 1231, 1245, 1253, 1256, 1262, 1274, 1307, 1321, 1324, 1329, 1346, 1349, 1378, 1384, 1401, 1405, 1433, 1466, 1501, 1506, 1629, 1646, 1664, 1667, 1675, 1682, 1708, 1770, 1779, 1790, 1804, 1812, 1826, 1835, 1845, 1849, 1858], 'evolves': [21], 'in': [22, 37, 55, 118, 132, 161, 196, 283, 365, 470, 479, 506, 588, 613, 660, 671, 826, 888, 919, 1003, 1008, 1018, 1062, 1070, 1110, 1142, 1157, 1182, 1197, 1220, 1230, 1258, 1306, 1432, 1585, 1628, 1674, 1678, 1703, 1727, 1755, 1763, 1766, 1773, 1776, 1782, 1787, 1825], 'according': [23], 'with': [24, 593, 779, 1041, 1201, 1236, 1505], 'occurrence': [26, 232, 255], 'of': [27, 53, 61, 104, 121, 135, 188, 288, 299, 306, 336, 345, 368, 386, 393, 416, 423, 473, 495, 518, 529, 547, 569, 609, 616, 636, 639, 653, 673, 678, 689, 716, 766, 783, 814, 848, 859, 907, 964, 977, 993, 1029, 1046, 1067, 1084, 1099, 1127, 1161, 1171, 1188, 1210, 1255, 1264, 1277, 1309, 1331, 1340, 1348, 1372, 1404, 1508, 1568, 1591, 1619, 1684, 1792, 1811, 1814, 1822, 1834, 1837, 1844, 1848, 1852, 1857, 1874], 'asynchronous': [28], '(not': [29], 'clock': [30], 'driven)': [31], 'events.': [32, 403, 514], 'DESs': [33, 177], 'can': [34, 85, 233, 256, 407, 539, 559, 668, 701, 842, 876, 896, 968, 981, 1354, 1518, 1532, 1546, 1556, 1576, 1610, 1648, 1694, 1743], 'model': [35, 444, 735, 740, 1257], 'different': [38, 1635], 'fields:': [39], 'Industrial': [40], 'Automation,': [41], 'Transportation': [42], 'Systems,': [43, 45], 'Computer': [44, 1785], 'Communication': [46], 'Networks': [47], '1.': [48], 'In': [49, 332, 524, 794, 938, 1096, 1244, 1298, 1342, 1382, 1666, 1794], 'fact,': [50], 'embedding': [52], 'microprocessors': [54], 'physical': [56, 105, 205], 'plant,': [57], 'rapid': [59], 'evolution': [60, 415], 'computing': [62], 'communication': [63], 'sensor': [65], 'technology': [66], 'has': [67, 274, 999], 'drawn': [68], 'great': [70, 1108], 'attention': [71, 1109, 1141, 1709], 'to': [72, 115, 142, 147, 153, 175, 179, 310, 341, 378, 396, 443, 463, 487, 504, 642, 761, 800, 845, 855, 904, 936, 1025, 1056, 1064, 1076, 1093, 1121, 1234, 1251, 1260, 1286, 1292, 1376, 1395, 1398, 1455, 1469, 1535, 1559, 1595, 1615, 1639, 1653, 1681, 1712, 1731, 1747, 1753], 'have': [75, 280, 448, 1105, 1118, 1137, 1179, 1186, 1302], 'an': [76, 214, 237, 461, 648, 811, 934, 1387, 1551, 1599, 1659], 'intrinsically': [77, 1151], 'nature': [80, 1153, 1276], '(communication': [81], 'networks)': [82], 'or': [83, 150, 400, 511, 645, 1202], 'which': [84, 129, 218, 382, 429, 491, 889, 967, 980, 998, 1215, 1422, 1511], 'be': [86, 234, 257, 323, 397, 409, 573, 586, 643, 669, 702, 843, 877, 897, 969, 982, 1355, 1396, 1428, 1519, 1533, 1557, 1577, 1611, 1695, 1744], 'conveniently': [87], '‘abstracted’': [88], 'as': [89, 199, 213, 222, 351, 452, 460, 602, 787, 1489, 1491, 1583, 1598, 1697, 1734], 'DES': [91, 348, 456, 519, 654, 839, 1503, 1517, 1566, 1574, 1603, 1654, 1704, 1739], '(manufacturing': [92], 'systems,': [93], 'traffic': [94], 'networks).': [95], 'This': [96, 193, 427, 676, 1166, 1268], 'abstraction': [97, 1567, 1575], 'natural': [99], 'since': [100, 725, 1273, 1446, 1482], 'information': [101], 'from': [102, 125, 533, 1079, 1367, 1541, 1550, 1789], 'sensors': [103], 'plant': [106, 395], 'continuous-variable': [108, 155], 'controllers': [109, 156, 328], 'at': [110, 157, 910, 1803], 'low': [111, 158], 'level': [112, 580, 584], 'sent': [114], 'high-level': [116], 'controller': [117, 210], 'form': [120, 134, 782], 'events,': [122, 136], 'while': [123, 325], 'commands': [124], 'this': [126, 289, 742, 780, 795, 1009, 1123, 1143, 1183, 1592], 'control': [127, 176, 187, 202, 272, 305, 344, 362, 375, 457, 467, 484, 520, 579, 615, 655, 708, 719, 817, 841, 985, 1048, 1103, 1164, 1451, 1632, 1873], 'level,': [128], 'also': [131, 408, 763], 'translated': [138], 'by': [139, 168, 236, 259, 357, 682, 705, 752, 871, 880, 900, 971, 984, 1082, 1125, 1357, 1430, 1521, 1527, 1579], 'proper': [140], 'interface': [141], 'generate': [143], 'input': [145, 1332], 'signals': [146], 'actuators': [149], 'points': [152], 'level.': [159], 'Furthermore,': [160, 902], 'real': [162], 'world': [163], 'these': [164], 'plants': [165], 'composed': [167], 'many': [169, 1641], 'interacting': [170], 'subsystems.': [171], 'An': [172, 225, 248], 'efficient': [173], 'approach': [174, 290, 335, 406, 1269, 1467], 'split': [180], 'problem': [182, 376, 485, 1124, 1194], 'into': [183, 995, 1473], 'parts:': [185], 'subsystems': [189, 301, 308], 'coordination.': [192], 'known': [195, 918], 'literature': [198, 921, 1044, 1380, 1633, 1661], 'supervised': [201], 'approach.': [203, 1715], 'The': [204, 286, 361, 373, 466, 482, 687, 714, 991, 1193, 1370, 1442, 1478, 1573, 1588, 1605, 1623, 1687], 'system': [206, 503, 531, 535, 549, 1265, 1549, 1563], 'plus': [207], 'forcing': [209, 312], 'regarded': [212], 'extended': [215, 751, 844, 1024], 'process': [216], 'for': [217, 455, 746, 958, 1011, 1086, 1175, 1409, 1602, 1700, 1721, 1738, 1800], 'events': [219, 424], 'considered': [221, 587, 1196], 'spontaneously': [223], 'generated.': [224], 'called': [228, 246, 251, 265, 370, 475, 710], 'controllable': [229, 402, 513, 947], 'if': [230, 253, 315, 1288, 1707], 'its': [231, 254, 1057], 'disabled': [235], 'external': [238], 'agent,': [239], 'i.e.': [240], 'supervisor,': [242, 973], 'otherwise': [243, 262], 'it': [244, 263, 425, 726, 797, 1248, 1284, 1483, 1657, 1693, 1742], 'uncontrollable.': [247], 'observable': [252, 949], 'detected': [258], 'sensor,': [261], 'unobservable.': [266], 'For': [267], 'such': [268, 717, 1569], 'supervisory': [271, 343, 614, 816, 840, 1047, 1100, 1163, 1705, 1757], 'theory': [273], 'been': [275, 281, 449, 1119], 'developed': [276, 1007], 'powerful': [278], 'results': [279, 1068, 1170, 1227], 'presented': [282, 1069], 'literature.': [285], 'advantage': [287], 'supervisor': [294, 321, 381, 490, 1523, 1545], 'must': [295, 322, 585], 'only': [296, 320, 728, 899, 1014], 'manage': [297], 'coordination': [298, 316], '(controlled)': [300], 'without': [302, 1203], 'considering': [303, 412], 'direct': [304], '(delegated': [309], 'controller).': [313], 'Noticeably,': [314], 'specification': [317, 363, 468, 612, 1080], 'changed': [319], 're-designed,': [324], "subsystems'": [327], 'not': [330, 499, 553, 722, 1138, 1391, 1538], 'affected.': [331], 'original': [334, 1116], 'Ramadge': [337], 'Wonham': [339], '2': [340, 853], 'DESs,': [346, 1875], 'seen': [350], 'language': [353, 1129], 'generator': [354], 'modeled': [356], 'finite': [358], 'automata.': [360, 465, 1132], 'consists': [364, 469], 'sequences,': [369], 'legal': [371, 476, 508, 610], 'behavior.': [372], 'basic': [374, 483], 'design': [379, 488, 568], 'on': [383, 492, 790, 819, 1663], 'basis': [385, 494], 'observations': [388, 497], 'restricts': [389, 632], 'closed-loop': [391, 502, 734], 'behavior': [392, 1266], 'legal,': [398], 'disabling': [399, 510], 'enabling': [401, 512], 'A': [404, 605, 625, 651, 861, 1314], 'similar': [405], 'taken': [410], 'when': [411, 437], 'DES,': [418], 'rather': [419], 'than': [420, 647], 'traces': [422], 'generates.': [426], 'approach,': [428], 'we': [430], 'call': [431], 'based,': [433], 'particularly': [435], 'attractive': [436], 'Petri': [438], 'Nets': [439], '(PNs)': [440], 'used': [442, 1180, 1229, 1558, 1696], 'plant.': [446], 'PNs': [447, 617, 820, 865, 881, 1136, 1733], 'successfully': [450], 'proposed': [451, 1120, 1638], 'modeling': [453, 693, 1736, 1871], 'formalism': [454], '3,': [458, 1072], '4': [459, 1020], 'alternative': [462], 'controlled': [464], 'states,': [474], 'states': [477], '(markings': [478], 'PN': [480, 739, 777, 1246, 1290, 1299, 1318, 1471, 1631, 1714, 1756], 'framework).': [481], 'does': [498], 'allow': [500], 'enter': [505], 'no': [507, 557], 'markings,': [509, 1016], 'Another': [515], 'important': [516, 1620], 'class': [517, 608, 1339], 'specifications': [521], 'qualitative.': [523], 'particular,': [525, 939, 1343, 1383], 'liveness': [526, 665, 833, 1212, 1239, 1311], '(the': [527, 545], 'quality': [528, 546], 'any': [534, 537], 'occur': [540], 'again)': [541], 'and/or': [542], 'deadlock': [543, 663, 831, 1237], 'freeness': [544], 'there': [551], 'where': [556, 1050, 1515, 1634], 'occur)': [560], 'merit': [561], 'attention.': [562], 'It': [563, 1716], 'may': [564, 1154], 'happen': [565], 'levels': [571], 'cannot': [572, 1427], 'carried': [574, 869], 'out': [575, 870], 'separately,': [576], 'but': [577], 'supervision': [583, 778, 847, 1058, 1621], 'unique': [590], 'framework.': [591], 'Systems': [592, 1810], 'both': [594, 1198], 'continuous': [595], 'dynamics': [599], 'referred': [601, 786, 1673], 'Hybrid': [603], 'Systems.': [604], 'very': [606, 1271], 'interesting': [607], 'marking': [611, 638, 892], 'Generalized': [620], 'Mutual': [621], 'Exclusion': [622], 'Constraints': [623], '(GMECs).': [624], 'GMEC': [626, 700], 'linear': [629], 'inequality': [630], 'weighted': [634, 764], 'sum': [635, 765], 'net': [640, 1295], 'places': [641, 986], 'less': [644], 'equal': [646], 'integer': [649], 'number.': [650], 'lot': [652, 1618], 'problems': [656, 887, 1104], '(boundedness,': [657], 'mutual': [658], 'exclusion': [659], 'resource': [661], 'sharing,': [662], 'avoidance,': [664], 'enforcing,': [666], 'etc.)': [667], 'formulated': [670], 'terms': [672, 770, 774], 'GMECs': [674, 690, 749, 784, 1085], '5.': [675], 'kind': [677], 'constraint': [679], 'was': [680, 1761, 1797], 'introduced': [681], 'Giua': [683], 'et': [684, 758], 'al.': [685, 759], '6.': [686, 712], 'success': [688], 'power': [694], 'fact': [697], 'simply': [703, 1539], 'enforced': [704, 970, 983], 'adding': [706], 'place': [709, 720, 1015, 1452], 'monitor': [711], '*': [713], 'synthesis': [715], 'computationally': [723], 'demanding': [724], 'involves': [727], 'matrix': [730], 'multiplication.': [731], 'Moreover,': [732, 838, 1656], 'still': [737], 'extremely': [744, 1745], 'useful': [745, 1746], 'analysis': [747], 'purposes.': [748], 'were': [750], 'Moody': [753], 'Antsaklis': [755], '5,': [756], 'Yalimalidou': [757], '7': [760, 1416], 'include': [762], 'firing': [767, 909, 1032], 'count': [768, 1033], 'vector': [769, 773], 'Parkish': [772, 1036], 'general': [781, 1027, 1465], 'Supervision': [788], 'Based': [789], 'Place': [791], 'Invariant': [792], '(SBPI).': [793], 'way': [796], 'possible': [799], 'handle': [801], 'constraints': [802, 994, 1012, 1030], 'directly': [804], 'restrict': [805, 1252], 'occurrences.': [807], 'Chapter': [808, 852, 931, 1019, 1038, 1060, 1071, 1089, 1205, 1498, 1586], '1': [809], 'gives': [810], 'informative': [812], 'overview': [813, 1045], 'based': [818], 'explaining': [821], 'how': [822, 873], 'SBPI': [823, 1181, 1431, 1457, 1555, 1597, 1609], 'effective': [825, 1600], 'handling': [827], 'forbidden': [828], 'specifications,': [830], 'prevention,': [832, 1238], 'enforcing': [834], 'decentralized': [836, 1094, 1102, 1162, 1189], 'control.': [837, 1095, 1758], 'concurrent': [849, 1561], 'hybrid': [850, 1562, 1581], 'systems.': [851], 'proceeds': [854], 'formal': [857, 1128], 'presentation': [858, 1479, 1683], 'PNs.': [860, 901, 1088], 'clear': [862], 'comparison': [863], 'between': [864], 'automata': [867, 1582], 'showing': [872], 'modular': [874], 'models': [875, 885], 'better': [878], 'approached': [879, 898], 'unbounded': [884], 'initial': [891, 1368], 'parameter': [895], 'referring': [903], 'possibility': [906], 'transitions': [908, 1219, 1327, 1403], 'same': [912], 'time,': [913], 'three': [915, 941], 'concurrency': [916, 923, 925], 'settings': [917, 945], '(no': [922], 'assumption,': [924, 926], 'transition-bag': [927], 'assumption)': [928], 'discussed.': [930, 990, 1477, 1497], '3': [932, 1039], 'provides': [933, 1717], 'introduction': [935, 1371, 1652], 'SBPI.': [937], 'controllability': [942, 959, 1437], 'observability': [944, 1439], '(individually': [946], 'transitions,': [950], 'labeled': [951], 'PNs,': [952], 'double-labeled': [953], 'PNs)': [954], 'presented.': [956], 'As': [957], 'observability,': [961], 'concept': [963, 976, 1507], 'feasible': [965], 'constraints,': [966, 979], 'admissible': [978, 996], '(monitors),': [987], 'widely': [989], 'transformation': [992, 1022], 'ones,': [997], 'central': [1001, 1304], 'role': [1002, 1305], 'book,': [1005], 'chapter': [1010, 1167], 'involving': [1013], 'then': [1017], 'case': [1028], 'including': [1031], 'vectors': [1034], 'vectors.': [1037], 'ends': [1040], 'good': [1043, 1651, 1719], 'methods': [1049], 'each': [1051, 1447], 'method': [1052, 1075], 'clearly': [1054, 1496, 1672], 'related': [1055, 1685], 'settings.': [1059], '4,': [1061], 'addition': [1063], 'extension': [1066], 'includes': [1073, 1328, 1484], 'obtain': [1077], 'supervisors': [1078], 'expressed': [1081], 'disjunction': [1083], 'bounded': [1087], '5': [1090], 'devoted': [1092], 'context': [1098, 1184], 'control,': [1101, 1706], 'received': [1106, 1139, 1769], 'last': [1112], 'decade': [1113], '8.': [1114], 'Several': [1115], 'approaches': [1117, 1130, 1636], 'solve': [1122, 1616, 1640], 'means': [1126, 1216], 'using': [1131, 1358, 1580], 'On': [1133], 'contrary,': [1135], 'much': [1140], 'context.': [1144], 'Their': [1145], 'compact': [1146], 'representation': [1148], 'distributed': [1152], 'potentially': [1155], 'help': [1156], 'reducing': [1158], 'complexity': [1160, 1493], 'problems.': [1165, 1622], 'presents': [1168], 'some': [1169], 'authors': [1173], 'first': [1177], 'time': [1178, 1448], 'spoken': [1187], 'admissibility': [1190], '(d-admissibility)': [1191], '9.': [1192], 'settings,': [1200, 1440], 'communication.': [1204], '6': [1206], 'addresses': [1207], 'characterization': [1209, 1308], 'deadlock,': [1211, 1310], 'T-liveness,': [1214], 'all': [1218], 'T': [1223], 'live.': [1225], 'These': [1226], 'following': [1232], 'chapters': [1233], 'deal': [1235], 'enforcement': [1240], 'T-liveness': [1242], 'enforcement.': [1243], 'field': [1247], 'usual': [1250], 'generality': [1254], 'order': [1259], 'make': [1261, 1464], 'study': [1263], 'easier.': [1267], 'successful': [1272], 'twofold': [1275], 'PN,': [1279], 'graphical': [1280], 'mathematical,': [1282], 'makes': [1283], 'easy': [1285], 'recognize': [1287], 'belongs': [1291], 'certain': [1294], 'subclass': [1296], '10.': [1297, 1587], 'literature,': [1300], 'siphons': [1301, 1335, 1347, 1374, 1460], 'T-liveness.': [1313], 'siphon': [1315, 1389, 1406, 1426], 'subnet': [1319], 'having': [1320], 'property': [1322], 'output': [1326, 1402], 'transitions.': [1333], 'Active': [1334, 1352], 'special': [1338], 'siphons.': [1341], 'they': [1344, 1364], 'active': [1350, 1373, 1388, 1459], 'subnets.': [1351], 'subnets': [1353], 'computed': [1356], 'structural': [1360], 'condition': [1361, 1385], 'so': [1363, 1643], 'independent': [1366], 'marking.': [1369], 'allows': [1375], 'extend': [1377], 'previous': [1379], 'results.': [1381], 'empty': [1392], 'proved': [1394], 'sufficient': [1397], 'ensure': [1399], 'live': [1408], 'Extended': [1410], 'Asymmetric': [1411], 'Choice': [1412], '(EAC)': [1413], 'nets.': [1414], 'Chapters': [1415], '8': [1418], 'present': [1419, 1596], 'iterative': [1420, 1445], 'algorithms,': [1421], 'enforce': [1423, 1456], 'emptied': [1429], 'full': [1434], 'partial': [1436], 'respectively.': [1441], 'algorithms': [1443, 1468], 'added': [1454], 'new': [1458], 'created.': [1462], 'To': [1463], 'translate': [1470], 'EAC': [1474], 'exhaustive': [1481], 'examples': [1485], 'termination': [1487], 'issues': [1488, 1494], 'well': [1490], 'computational': [1492], '9': [1499], 'extends': [1500], 'traditional': [1502], 'framework': [1504, 1737], 'unstable': [1509, 1552], 'state,': [1510], 'kept': [1520], 'indefinitely': [1524], 'long,': [1525], 'allowing': [1528], 'transition': [1531], 'forced': [1534], 'fire': [1536], 'prevented': [1540], 'firing.': [1542], 'Thus,': [1543], 'move': [1547], 'supervise': [1560], 'once': [1564], 'provided.': [1572], 'obtained': [1578], 'shown': [1584], 'significant': [1589], 'contribution': [1590], 'book': [1593, 1606, 1624, 1647, 1668, 1688], 'tool': [1601, 1614], 'supervision.': [1604, 1655, 1740], 'shows': [1607], 'unifying': [1613], 'fills': [1625], 'gap': [1627], 'existing': [1630], 'problems,': [1642], 'I': [1644], 'think': [1645], 'represent': [1649], 'contains': [1658], 'excellent': [1660], 'review': [1662], 'topic.': [1665], '218': [1669], 'papers': [1670], 'text': [1676], 'sections': [1679], 'dedicated': [1680], 'works.': [1686], 'self': [1690], 'contained': [1691], 'textbook': [1699], 'course': [1702], 'restricted': [1711], 'guide': [1720], 'engineers': [1722], 'technical': [1724], 'people': [1725], 'working': [1726], 'industries': [1728], 'who': [1729, 1751], 'want': [1730, 1752], 'use': [1732], 'Finally,': [1741], 'scientists': [1748], 'researchers': [1750], 'work': [1754], 'Francesco': [1759], 'Basile': [1760], 'born': [1762], 'Naples,': [1764], 'Italy,': [1765], '1971.': [1767], 'He': [1768, 1817, 1840], 'Laurea': [1771], 'degree': [1772, 1781], 'Electronic': [1774, 1783], 'Engineering': [1775, 1786], '1995': [1777], 'PhD': [1780], '1999': [1788, 1795], 'University': [1791, 1813, 1836], 'Naples.': [1793], 'he': [1796], 'visiting': [1798], 'researcher': [1799], 'six': [1801], 'months': [1802], 'Departamento': [1805], 'de': [1806], 'Ingenieria': [1807], 'Informatica': [1808], 'y': [1809], 'Saragoza,': [1815], 'Spain.': [1816], 'currently': [1819], 'assistant': [1820], 'professor': [1821], 'Automatic': [1823], 'Control': [1824, 1860], 'Dipartimento': [1827], 'di': [1828], 'Ingegneria': [1829, 1832], "dell'Informazione": [1830], 'e': [1831], 'Elettrica': [1833], 'Salerno,': [1838], 'Italy.': [1839], 'member': [1843], 'editorial': [1846], 'board': [1847], 'International': [1850], 'Journal': [1851], 'Robotics': [1853], 'Automation': [1855], 'IEEE': [1859], 'System': [1861], 'Society': [1862], 'Conference': [1863], 'Editorial': [1864], 'Board.': [1865], 'His': [1866], 'current': [1867], 'research': [1868], 'interest': [1869], 'are:': [1870], 'automated': [1876], 'manufacturing': [1877], 'robotic.': [1879]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2038467215', 'counts_by_year': [{'year': 2021, 'cited_by_count': 1}], 'updated_date': '2024-12-09T04:18:18.292455', 'created_date': '2016-06-24'}