{"entities":{"Q5926828":{"pageid":8103630,"ns":120,"title":"Item:Q5926828","lastrevid":47581654,"modified":"2026-01-02T03:37:18Z","type":"item","id":"Q5926828","labels":{"en":{"language":"en","value":"Structure theory of choice-free Petri nets based on eigenvalues"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1573127"}},"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":"Q5926828$56B06617-1532-43CE-A19D-439C131AE879","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58abe7dbb8223a000cf4f7899074f867ddc27caa","datavalue":{"value":{"text":"Structure theory of choice-free Petri nets based on eigenvalues","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5926828$4EA265FA-375B-4BFF-864D-596B3D6B87A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0e5a187f460febf4c390f7fb683c538f7618508","datavalue":{"value":"0973.93029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926828$58E6E083-2220-49EB-862F-B5CB7A2334BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd89973f5201d71f6fa56346577bd254de5060d2","datavalue":{"value":"10.1016/S0016-0032(99)00008-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926828$4964C869-AC61-470D-8CF7-272A662B1F3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99b6622bda033f442af8a7527beba42c119af5e2","datavalue":{"value":{"entity-type":"item","numeric-id":586817,"id":"Q586817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5926828$2E43D5E6-129D-4869-8A5C-3471F39F5B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7896213d1d9acb363aa58a7bcf4ca8088688a878","datavalue":{"value":{"entity-type":"item","numeric-id":172789,"id":"Q172789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5926828$8ACCECBA-139B-433F-AAF8-987C7A7AD01F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a51b97a52c84c260f189b05761c3359b0f8838c1","datavalue":{"value":{"entity-type":"item","numeric-id":164292,"id":"Q164292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5926828$1772E777-AAD3-483C-A3FA-4529AC3D30B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a5fea287356dcf1141fed6d397a8995573ab346b","datavalue":{"value":{"time":"+2001-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5926828$3FC0AAC3-CD1D-46F9-B522-B5525CC1FFF2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dc95a1ce08e3c727802d7e0cadf9bddb4627c816","datavalue":{"value":"By establishing a certain relation between the incidence matrix of choice-free Petri nets (CfPn) and the eigenvalues of an \\(M\\)-matrix, the authors use some theorems on \\(M\\)-matrices to prove structural boundedness, liveness, repetitiveness, conservativeness, consistency, and well-formedness of CfPn. This new approach circumvents the application of the existing complex methods such as the classic incidence matrix analysis, the reachability tree approach, and the reduction techniques which become prohibitive when large systems are analyzed. Three examples illustrate some relevant results and at the same time the computational simplicity (based on Matlab) is ensured by the eigenvalues method.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926828$BCEC4FB3-2190-48D0-9FA0-12FCB2F6AEB0","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":"Q5926828$C0F8D7AA-B8E1-42A2-845B-2537C271FD07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926828$1ECC896E-6E89-40C5-ABD5-E0E47E4DCB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926828$584FD48A-F8E8-46C0-A8EB-D90D104C0489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926828$B8E82E36-9953-4AC1-9392-5E7704F8EAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0865fb7043e066374ab3ed0ebe0fcf43197958c5","datavalue":{"value":"93B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926828$0B9E6521-7F14-44E0-926D-422D8341F8F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d68e419cb2584318154f0e1bdfa4071fc9f3b25","datavalue":{"value":"1573127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926828$937DDB44-D29B-4E8F-BD1C-124CE9F5EFDC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"262bdfa8edfe99210fd9b6503f70cfab463acd03","datavalue":{"value":"incidence matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926828$4BB9D9C6-867A-4313-8CBD-F0D70EDB075E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5891cb6318ed9921a8c0d343c0c7078d399a6851","datavalue":{"value":"choice-free Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926828$9F4382C8-018B-4596-BDE6-E41C41E2B36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"811604a75801fcd709c8667f83ea26944825b8d2","datavalue":{"value":"eigenvalues","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926828$3D5A5B05-EFFD-4972-B2C6-6C153239F571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59466dc90621945434f7369cc503693e561b0e95","datavalue":{"value":"\\(M\\)-matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926828$46639F00-0744-4054-88B5-A4D6FC4BFD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28b3c2a991485a24e8a9c4479588e950b9417c93","datavalue":{"value":"structural boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926828$F87B8814-770F-4E3C-A9A4-5A15E93AD4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926828$5C20E1F7-63CE-4848-A462-54FC41EBA2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a393eb0ab43379ea4488d3c8d54bc9e6ce86d5","datavalue":{"value":"repetitiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926828$C50EFE95-7EA6-413D-92D1-58E08BA2DC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90ea63d90345c02ab94acb217ffe530386868b8c","datavalue":{"value":"conservativeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926828$494088FD-4744-4C4D-A21A-45380803BCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926828$96DB6B7E-E7E3-4D70-BD19-BA0B8C6A3A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4076aab8edc1fbad75172cf502f31cab0278f6b5","datavalue":{"value":"well-formedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926828$25DC1763-F439-4764-B2CE-B8D2DC4DEEA7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a709ac7c97c67049e241e0b036253f1d955c589a","datavalue":{"value":{"entity-type":"item","numeric-id":13313,"id":"Q13313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5926828$A572A185-E91D-4822-870E-683F1F7E714D","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":"Q5926828$3AB9E1A5-D145-415E-8FC8-3B05D87D1F4D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c04a37f8764435b5d0bc43c083f5b3312d580133","datavalue":{"value":"Q126629684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926828$03E29E1D-57ED-42BF-AAE0-8AA6C0567D35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d27107e6690c1e0164d7bf9fab4c46c6f3b26b2","datavalue":{"value":"https://doi.org/10.1016/s0016-0032(99)00008-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5926828$35244E5C-ACCD-40F1-B336-90360DD6E49D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d18c0c1deb4f605572dffdfd07c218a1e0b12b67","datavalue":{"value":"W2011198420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926828$380CD313-1F52-410A-87F1-7B4909E02EA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59401a949539d4a632005909f1af90a6b6f652fa","datavalue":{"value":{"entity-type":"item","numeric-id":2857723,"id":"Q2857723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"064d1f0d26b974404922bfc50fc8bb87f94aca67","datavalue":{"value":{"amount":"+0.8164997696876526","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":"Q5926828$33607A72-64EC-45A8-A093-16E64BB788D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f00a2ce550a310724e4aa14c6a3517d217aae96","datavalue":{"value":{"entity-type":"item","numeric-id":5496929,"id":"Q5496929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"532c7bbd0e274bb5c874aa918bb3236554dd669b","datavalue":{"value":{"amount":"+0.7870990037918091","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":"Q5926828$46225973-6CEE-4579-B773-755D1BF65707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9742604870d6b41f6f353bd9ccdcd6edac66ea6","datavalue":{"value":{"entity-type":"item","numeric-id":3771633,"id":"Q3771633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6751a9181de5332ff61d3368b7e92f6cfaa87223","datavalue":{"value":{"amount":"+0.7826067805290222","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":"Q5926828$CDD75B25-2389-4A7C-8F2A-F72F1CADEB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b83de6b3f5c0773f694c1e8eb932510a5da332ff","datavalue":{"value":{"entity-type":"item","numeric-id":4023470,"id":"Q4023470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"890d3cd00e6aa98d67828dbd1f97b14389250743","datavalue":{"value":{"amount":"+0.7799128890037537","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":"Q5926828$31448886-5C44-4D7E-AEB3-6FAB84C02C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"951ed48548654b6f7db368efc18202a35d0be052","datavalue":{"value":{"entity-type":"item","numeric-id":2266589,"id":"Q2266589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fa3c927711f27b74d84e85d8463baea7609c407","datavalue":{"value":{"amount":"+0.7783975601196289","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":"Q5926828$6202A57E-63BD-484A-BA96-8835D2C2BC2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5926828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5926828"}}}}}