{"entities":{"Q1901720":{"pageid":1912462,"ns":120,"title":"Item:Q1901720","lastrevid":47364202,"modified":"2026-01-01T12:46:01Z","type":"item","id":"Q1901720","labels":{"en":{"language":"en","value":"Net-based control versus rational control: The relation between ITNC vector languages and rational relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 814170"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901720$D6A18C23-4F1D-4072-8BF9-D20065D2D196","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"692ee3c5d07a6bae317d2c281b28a33011e04a8e","datavalue":{"value":{"text":"Net-based control versus rational control: The relation between ITNC vector languages and rational relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1901720$127A6468-7F95-456F-8190-AB8EF799BBFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34478f8a66beb175a2a271dc82140b94a55a2231","datavalue":{"value":"0865.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901720$CD7A8597-FF5B-44AD-B902-863702141C2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e638bf4acac8187043b887168f42fb88d59b4ab","datavalue":{"value":{"entity-type":"item","numeric-id":1391735,"id":"Q1391735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901720$AE609EBD-EB32-4C1B-92A5-32D68E3A46D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5eb12e286e978a89b59265932583f917042300b","datavalue":{"value":{"entity-type":"item","numeric-id":598183,"id":"Q598183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901720$DBAECDE0-F57B-4080-B22C-B19BD73B9E1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901720$7A6EB24B-9E89-4427-B049-C0B628E2FA16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe671a5470cada373b4c4e4482db9951c51897c4","datavalue":{"value":{"time":"+1995-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1901720$B6DC69BF-588F-4662-A416-3D1D53AFEFCC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"11d80ff83a53f908ba1efa9fbee44ede21343b8d","datavalue":{"value":"An Individual Token Net Controller (ITNC) is a particular type of state-machine decomposable Petri net that can be used as a synchronization mechanism in concurrent systems consisting of a fixed number of sequential subsystems. In this paper the family of ITNC vector languages is compared to the well-known family of rational relations. On the one hand it is proved that the family of rational relations equals the family of vector languages of Generalized ITNCs, i.e. ITNCs in which the restriction of completeness is dropped. On the other hand a vector language property induced by completeness is identified that precisely characterizes the difference between ITNC vector languages and Generalized ITNC vector languages. In addition, the results are shown to carry over to the prefix-closed versions of the models.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901720$894AFD90-642E-47EB-9485-11E3F3EEEDB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901720$D84B5536-593F-4F85-8026-DC3D74B1DE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901720$387425A1-9069-4DAD-9678-F18506A46913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901720$F1E53F45-46D5-4C24-8B11-97CB5AEC8012","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd1ffd1ce460fb451e66e220032d092a3248f301","datavalue":{"value":"814170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901720$766E0387-8D38-420D-9FA9-B988EBC4CD79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36ba992bcad0c98f507bb1f11ebc66aeafdf6275","datavalue":{"value":"Individual Token Net Controller","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901720$5A690EC8-CCF1-47DF-8C5F-80376687CAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7519c7d02c191290aa24ef456d3cae08849196d","datavalue":{"value":"state-machine decomposable Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901720$80D1F1BC-8374-4A78-B267-CB2903154611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa36130e82077da1500a611dfdd0f247e985b15","datavalue":{"value":"synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901720$BDA94CAC-AD1B-41AC-B4EB-2CD9CF70F91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901720$362AFA8D-9537-4E6D-89BD-F6D426F3F21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50c2550801eae061287c42610e62049a9ca072e9","datavalue":{"value":"vector languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901720$7A9E1994-3703-410C-9FC9-714BD48DA145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"148097ed7316e52cb883595e9f256272eac37b52","datavalue":{"value":"rational relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901720$34758F1F-7D76-47CC-B21D-BECFE5935A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901720$92135537-BE54-41EA-BF35-ADF339174C86","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901720$78B9DE74-9C26-43CB-AA7B-956A1A8A68C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62b25d2cb9bed064f48605512401cab92c9ed99d","datavalue":{"value":"https://doi.org/10.1007/s002360050072","type":"string"},"datatype":"url"},"type":"statement","id":"Q1901720$438FA049-E6C0-4630-9DDB-2F5DCE084E66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0bfce2f2f1b87708a5c9cfc4040efce04290ca58","datavalue":{"value":"W1994494985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901720$ADC6C669-F3D0-4BE5-8A68-36E8D8CE4153","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3384816c70774eabf3123ce1cb57d6185e8a28a6","datavalue":{"value":"10.1007/S002360050072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901720$298E67BE-963B-4274-9B61-0970825A6747","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6e59a0f29277043772d1a940d707b86e3b34c7a","datavalue":{"value":{"entity-type":"item","numeric-id":5506359,"id":"Q5506359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e37d48e7629b853f6da6ef743bb786e9f9aa92ff","datavalue":{"value":{"amount":"+0.7023687362670898","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901720$A33F82F7-82A8-45E5-82EC-AEC83819FEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d64663d31f0759c2bb98982741233dabe419307","datavalue":{"value":{"entity-type":"item","numeric-id":1354579,"id":"Q1354579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee45029204ff441c935ed0f109329fcf522d7b1","datavalue":{"value":{"amount":"+0.6961106657981873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901720$F8D89067-B329-4353-993E-DF4CB9D102F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d74df3c27c31bcb9710feca22c919646c43837d","datavalue":{"value":{"entity-type":"item","numeric-id":3198868,"id":"Q3198868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7587896bd68f831fa34c2d6269d86991af540f8c","datavalue":{"value":{"amount":"+0.6957095265388489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901720$0D99C2C9-F8A2-4111-99C3-FD79C9BA551B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48b23355b97dfec82b494519f80e15f635f574e5","datavalue":{"value":{"entity-type":"item","numeric-id":5750400,"id":"Q5750400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da1a72392269c0c960cd535d807061df56b3be6b","datavalue":{"value":{"amount":"+0.6904956698417664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901720$8A01DCCF-FCFB-40D0-846D-E98B43FFF793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe46ebd7aaf82ae5d5c41d543e5e3a53655e6343","datavalue":{"value":{"entity-type":"item","numeric-id":1391736,"id":"Q1391736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65940cae67979298875df340f6de723e31eae032","datavalue":{"value":{"amount":"+0.6885867118835449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901720$33282F34-CCB1-4D99-B7CD-8EBA34740C22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1901720","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1901720"}}}}}