{"entities":{"Q2336334":{"pageid":2347077,"ns":120,"title":"Item:Q2336334","lastrevid":57313329,"modified":"2026-03-30T09:31:57Z","type":"item","id":"Q2336334","labels":{"en":{"language":"en","value":"Mixed integer programming-based liveness test for FMS with full routing flexibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7131514"}},"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":"Q2336334$967DBCB1-70F4-4DD2-A20F-537D004DA2BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4766adcf7be651e43451a6fd2c41274f55116a9d","datavalue":{"value":{"text":"Mixed integer programming-based liveness test for FMS with full routing flexibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2336334$785BEB12-B416-43E6-BFDF-724D0B1C81A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa8e174dc1abdaaf8bb8902d26363618b8b0eb0d","datavalue":{"value":"1442.93024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336334$716C60A7-7BAF-40B9-97D0-F0E7261A613D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cda9e55f602e84a921092727196eac08299cfd5","datavalue":{"value":"10.1155/2014/319281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336334$1320F9FF-359D-4CE5-BC3C-8AAEE94D1FBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336334$99D100C6-11EB-4511-B03E-156B4A48F52B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb299feb2b87699ac8beef494c52fd2765eaf609","datavalue":{"value":{"entity-type":"item","numeric-id":118601,"id":"Q118601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336334$3E91F880-FEAB-4FFB-ABD2-C72149B4E962","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10393ba55f1a886ba53e75eccd4b56403eff1eb9","datavalue":{"value":{"time":"+2019-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2336334$008E7D1F-6E54-4192-8B0B-3B90C0E10221","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"380e8317a1410a7a517b713688eae1e5ae1371a1","datavalue":{"value":"Summary: Mixed integer programming (MIP) is an important technique to verify the liveness property of sequential flexible manufacturing systems (FMS) modeled by Petri nets. When there are some fully flexible routings in FMS, the existing MIP-based methods are not suitable for testing their liveness. This paper defines a subclass of S\\(^*\\)PR nets firstly, namely, OSC-S\\(^*\\)PR nets, and concludes that an OSC-S\\(^*\\)PR net is live if there exist no non-max'-controlled siphons. Accordingly, determining whether or not an OSC-S\\(^*\\)PR net is live can also be realized by using standardized mixed integer programming (MIP) tools. Furthermore, the liveness property of S\\(^*\\)PR nets can be tested in two steps: first, for a given S\\(^*\\)PR net, constructing an OSC-S\\(^*\\)PR net to ensure that if the latter is live then the former must be live; second, testing liveness of the constructed OSC-S\\(^*\\)PR net by the aforementioned MIP-based algorithm. In the end, the performance of the method is demonstrated by an application of FMS.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2336334$686F4C4D-D0C5-419E-803A-D8782A867EF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336334$D0170189-064E-483C-989E-DEA49F0C168C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf44f3ad3a2f88c9b2a45e4395030d611f0589bf","datavalue":{"value":"90C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336334$38DCD5A1-2CE6-4198-87F7-400520927899","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"811813b88d1e6032b68d5fd58792e2da51d7d04c","datavalue":{"value":"7131514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336334$AFA7020D-7CD5-4261-BA48-1EB8CFB53811","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"09073f55193988ae8528441509d421eebd20810c","datavalue":{"value":"Q59050876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336334$F0E3B428-9BDB-41DF-9D9B-DE43939BC974","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":"Q2336334$62ECD06B-D140-4090-8505-A2DB8734C85C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64f1750247b789deb5b6458c1fd942773b4f9c28","datavalue":{"value":"https://doi.org/10.1155/2014/319281","type":"string"},"datatype":"url"},"type":"statement","id":"Q2336334$84B9F842-8A5B-49B7-A57E-42B769D1566D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c29f0ace0528f712527d843ba5da79e9ada6a054","datavalue":{"value":"W2072161639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336334$3C542779-DC24-4E90-93FE-B7D9F9E7AAC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a60320fdcfc60ebc533de00ef14ae04f00b96b5","datavalue":{"value":{"entity-type":"item","numeric-id":2713455,"id":"Q2713455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336334$0B22B047-8F92-4D93-96BC-DA6AF8BA6DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63006d257d7a2e048f09442f14abaae3d89f8e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4540213,"id":"Q4540213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336334$CF6713C0-D3D7-46DE-8FDC-FEF11BF6511D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d9bd40b1d8bd952951e2d64545648372a14020","datavalue":{"value":{"entity-type":"item","numeric-id":2393141,"id":"Q2393141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336334$90809C14-4E47-4955-A754-2FEE7883FB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea03d789a479e72cfbb926127a896c8e37dbe883","datavalue":{"value":{"entity-type":"item","numeric-id":6487387,"id":"Q6487387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336334$275E826B-6CA5-42FB-972D-2D4AC47A4163","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"fcbeb06b36dfaa7831a81d2181e3f7874c0c3215","datavalue":{"value":"journals/jam/DongCZY14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336334$8B1AA61A-93F7-496C-AAD8-C94523C7D649","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d7e2212fc0bc14ed6aa5360277f7fe3fc2033c6","datavalue":{"value":{"entity-type":"item","numeric-id":2665316,"id":"Q2665316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba6c0b4b1f513c5f64f49e8fc30244141f4ed6bf","datavalue":{"value":{"amount":"+0.81567496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2336334$DFD716C9-FB9A-465D-859A-70DD2F4B4F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc82da7b62d8b4c9e4e71990f4b71764cd53193f","datavalue":{"value":{"entity-type":"item","numeric-id":3486350,"id":"Q3486350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"674528db0c601ef09f41d2602591faf6669386d9","datavalue":{"value":{"amount":"+0.7982568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2336334$02241526-D42A-46E4-B288-30C8D9210729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6027228dc7339734209cff2fdcdf43afd765e365","datavalue":{"value":{"entity-type":"item","numeric-id":1780747,"id":"Q1780747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07beb753b322c5615953ade1e467508b623018cf","datavalue":{"value":{"amount":"+0.79787725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2336334$39F2E1FC-BBB1-41FF-A780-D29D111EFA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b81e36d56c7eaa2c982242ab29a1a83a56d2f608","datavalue":{"value":{"entity-type":"item","numeric-id":5125712,"id":"Q5125712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90b95ba3daa4675ecae5d224db25922f0341751b","datavalue":{"value":{"amount":"+0.7956382","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2336334$AA2B93C7-6E1B-4EE6-9276-87152172D16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2dd42bce1d751bd877969d88cc3bde14fdad879","datavalue":{"value":{"entity-type":"item","numeric-id":4248649,"id":"Q4248649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82a42681c93d2db8b187babc9fea724b43862630","datavalue":{"value":{"amount":"+0.7920239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2336334$E678C9F1-9BE9-4C0E-9CA0-906D7201522A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ddaa901c031f049d93bafb87c3f084c79f17918","datavalue":{"value":{"entity-type":"item","numeric-id":3767269,"id":"Q3767269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58997bac860da37bdba147606b15e42b626d9f5a","datavalue":{"value":{"amount":"+0.7919189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2336334$4F033E57-A37C-4674-ADFC-A0EB1534225B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2b277ff072e431b44a839fd02e23af8dfa0e67e","datavalue":{"value":{"entity-type":"item","numeric-id":657574,"id":"Q657574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed361335b391ff812691ac7874326650c2847a66","datavalue":{"value":{"amount":"+0.79132164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2336334$E1D2CD8F-145F-4573-9CA8-778C8A452614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c5d23d22c979ba1d26babbad8b2ef4671913fd9","datavalue":{"value":{"entity-type":"item","numeric-id":6483634,"id":"Q6483634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8365b1db44fb161fd54c3e7e691c77ec6be9b3c6","datavalue":{"value":{"amount":"+0.7905984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2336334$0DBD27E4-15D5-4C14-8A2F-4655DE66F138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f278d9a53c9cc06e52432a1b02b858431ee94a6","datavalue":{"value":{"entity-type":"item","numeric-id":2241905,"id":"Q2241905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc2cd2bfe7e287434d0dea297070b080f30bb63","datavalue":{"value":{"amount":"+0.7900373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2336334$D3891B11-CADD-4DD8-BA3E-B1F775AF13AD","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336334$70636878-6959-4C81-B506-BBB6340A4CF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2336334","badges":[]}}}}}