{"entities":{"Q5959841":{"pageid":8136643,"ns":120,"title":"Item:Q5959841","lastrevid":47767114,"modified":"2026-01-02T15:38:51Z","type":"item","id":"Q5959841","labels":{"en":{"language":"en","value":"Structuring acyclic Petri nets for reachability analysis and control"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1726952"}},"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":"Q5959841$55DABBA8-A4CB-4CAE-BC71-953A4E39103B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d93a03129fb16f40626e61deef19b42d67cfd345","datavalue":{"value":{"text":"Structuring acyclic Petri nets for reachability analysis and control","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5959841$A73F6B46-6E49-45EE-886E-AE4ABE8C4432","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"427ef10c69471c2848b52245c537396eae482e24","datavalue":{"value":"0995.93051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959841$D281D385-26D0-4BF0-84D3-974306BA4998","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f2e8509b28634d64a6ed0bc17b33cec841e30cb","datavalue":{"value":"10.1023/A:1013331703036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959841$0451947E-019D-44F2-B7AF-820DAB3B683B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59d827a9a76191d9f46d4afcd28cd996c4e7daae","datavalue":{"value":{"entity-type":"item","numeric-id":239114,"id":"Q239114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959841$A7CD31A3-2922-4CA0-991F-FD1DE73048F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c583f8124ed9993390d0cde74ad4ee2f55be6898","datavalue":{"value":{"entity-type":"item","numeric-id":732249,"id":"Q732249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959841$AE76F364-EAF5-4D50-A0E7-659AE6ECCC44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959841$73479A76-A5B5-4294-AA53-CC821A60864D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d18439a648c68971434e67c4d3438eb872bd034f","datavalue":{"value":{"time":"+2002-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5959841$A7779D12-67B1-4E20-8466-AB102BA8CE08","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5fcdf95b1376eb39a28373cbdbcf55600a533243","datavalue":{"value":"By structuring the incidence matrices of acyclic Petri nets as a result of a new proof of a well-known reachability condition and of other reachability issues, the authors construct maximally permissive Petri net supervisors guaranteeing that the marking of the original Petri net never leaves a given set. An algorithmic transformation of the original specification into a new one allows taking the presence of uncontrollable transitions into account. The supervisor is obtained by simple matrix multiplication and no linear integer programs need to be solved. In addition, a class of systems is identified for which the maximally permissive supervisor can be realized by extending the standard Petri net enabling condition with OR-logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959841$4C526FD2-1750-40C1-94B0-65F0B79FCD0C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e675321cf2ee9c8c015b188a9f69916c5eb2775e","datavalue":{"value":{"entity-type":"item","numeric-id":586818,"id":"Q586818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959841$A23102B4-3FDC-49C0-9936-5F9721E2E708","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959841$3C3D9BC0-5944-4F36-9AFD-9E0335AE6C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959841$EF87E355-415E-43B2-AAB8-E4A5529F9F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959841$2C341C5B-9996-49C7-9B31-C71345E03725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959841$F349C095-963A-4EB4-A904-52636162836C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a76d2ac1d52f1857592c35d51587ceaefd4e2138","datavalue":{"value":"1726952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959841$037D5588-9A65-4B0D-8C08-4C48077DE7C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959841$590493AC-E24D-4393-BBA0-8027832EAD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03c5557ef68aa03492d7e2ea6d0265f96bae4471","datavalue":{"value":"acyclic Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959841$7B266868-3542-4C50-A665-372B272B8C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959841$8A4BCAE4-582E-4EAA-8AEC-9EF1DA375570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbe20ad6ea638cf788c6f8efa091e1d2c7e0fb2","datavalue":{"value":"uncontrollable transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959841$702CF035-5A17-4A81-B03D-F0CE2899B927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959841$73960694-0687-4EA8-8569-4241C49B242A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45af6ea7606e7f001dd92c0f7f61996b5626ec1a","datavalue":{"value":"marking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959841$2C325429-05B8-4CD3-9FC4-A17919262934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f41eda5a7e252872a5973822842d7dc82387869f","datavalue":{"value":"OR-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959841$9DE11DFC-61B5-461D-A155-4BC08F3AF37D","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":"Q5959841$CD2200DC-8FBE-4A19-B95F-230E2D60A753","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d00a6904236f118ed1e519f625a99ba3fd79d3e2","datavalue":{"value":"https://doi.org/10.1023/a:1013331703036","type":"string"},"datatype":"url"},"type":"statement","id":"Q5959841$960B5058-2F75-4901-AA4A-D0930B62E5A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3909dc941e35159d31353fd828c9ac95277e6e0c","datavalue":{"value":"W1527839149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959841$7398C7CC-ADA3-4D62-A76D-285C291DC9EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7577282ac813ffa998180f84df072a0077305ca1","datavalue":{"value":{"entity-type":"item","numeric-id":4782070,"id":"Q4782070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5dc425b239fe943cf54b88b03812745315ddf16","datavalue":{"value":{"amount":"+0.8147293329238892","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":"Q5959841$28343B0A-4981-435C-86C0-BA24680EA9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ef1a3d7999e9ebcc5413c43267b2177aa15b4eb","datavalue":{"value":{"entity-type":"item","numeric-id":2501322,"id":"Q2501322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3acdae0dd463c55d092e6d16665569099f513bc9","datavalue":{"value":{"amount":"+0.8136240243911743","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":"Q5959841$9530026A-126F-4AF2-8FAE-8149B2642B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d320e89574876ab1ac892c2bd0df275d997cce","datavalue":{"value":{"entity-type":"item","numeric-id":4835904,"id":"Q4835904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c95971042b80d90260e35db127b1e0d442566eb4","datavalue":{"value":{"amount":"+0.7953733205795288","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":"Q5959841$A0675C8C-5CA4-499F-8A72-580F3B72BFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17cc32221ed7eb654a8125c1893ff1900ba4f88a","datavalue":{"value":{"entity-type":"item","numeric-id":4309230,"id":"Q4309230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d798f9e3ee29effb3c5cfdb98cfe1af2dba0ead4","datavalue":{"value":{"amount":"+0.7942860722541809","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":"Q5959841$EF1F3EB5-4581-47F2-A129-2B7E65648B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e6a7d624023e16dabc560c655c617ddf8cec13d","datavalue":{"value":{"entity-type":"item","numeric-id":702167,"id":"Q702167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd91310361c5a9b2614566f78300dd34a4bee827","datavalue":{"value":{"amount":"+0.7882338166236877","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":"Q5959841$D575DD19-6661-42BD-83E9-35C73CFBBCB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5959841","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5959841"}}}}}