{"entities":{"Q6550220":{"pageid":14161374,"ns":120,"title":"Item:Q6550220","lastrevid":55677412,"modified":"2026-02-17T20:50:53Z","type":"item","id":"Q6550220","labels":{"en":{"language":"en","value":"Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7859996"}},"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":"Q6550220$B2621413-3935-4330-9002-2DAF6781537D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd677af786caf18466641dc792377f78a46dfaf2","datavalue":{"value":{"text":"Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6550220$907D40C0-57F0-4935-A2B7-1A4683EF336B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05e8bdb624db7e9e7012ebf797d49e4e01478f8e","datavalue":{"value":"1537.93468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6550220$D2D19CBC-5260-411A-8DAE-7BFB5B5F7B90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ffa2c65e06904f5d05e219586bb284b25521dc5","datavalue":{"value":{"entity-type":"item","numeric-id":279129,"id":"Q279129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$E8F80C10-CD8E-4DB2-9AD9-2FD615868742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59dafef4f70d68098ae3bb4fb154946b5642dfd5","datavalue":{"value":{"entity-type":"item","numeric-id":340678,"id":"Q340678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$D719CF0D-75C6-49A9-AC08-16E59E13F731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b3bc8c388d7a0fac63269c05e0b00f7133fe344","datavalue":{"value":{"entity-type":"item","numeric-id":340679,"id":"Q340679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$73535539-22DB-4E0B-BEA3-C72D6BC5D6E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$93DD4D0E-DF4D-4632-81DF-C18BFFB1E6B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5219263c6fa56721869b7c73877f4b0a69654303","datavalue":{"value":{"time":"+2024-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6550220$BDC91072-C473-49E0-9F57-F2AD64D828A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6550220$2DCCAE6F-5685-48F6-AD9C-95B94EA56DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6550220$32025E41-F169-47E2-85B2-268022290D65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f378d2c7b5544d48bfd6cee392e5df9696bacf7","datavalue":{"value":"7859996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6550220$2FA7C275-C3A6-455D-896D-8E5FF81D0679","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q6550220$4EEAD468-4ED3-4D35-A748-E4AF13B40214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65f8bed1b0b96630a67cfe42bcdbf0a41383c5d0","datavalue":{"value":"deadlock-freeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6550220$8F119BB7-295D-4C19-AE92-73EDF00901F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6550220$42D926AE-11C8-456A-AE0F-788E56B36E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4737d8df1d005efdad1e7f4904badf8d3947f123","datavalue":{"value":"basis reachability graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q6550220$B00F964D-514E-4E08-8037-31F361E0B028","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":"Q6550220$73EB1ABD-FCEC-4B52-BA4C-12CBE1B3322E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1034fab86893de89a152f5b0894535ef8dc037c4","datavalue":{"value":{"entity-type":"item","numeric-id":4247291,"id":"Q4247291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$2252EE5F-670D-4216-B044-7F74C9EA9F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb60aa9dfa02dbe8dce73bf63a7b212f61bf5e49","datavalue":{"value":{"entity-type":"item","numeric-id":4633154,"id":"Q4633154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$5E3186A8-0252-44A6-B802-F17B0548445B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5758fd94a7421f1086603a1f55911e05922d073","datavalue":{"value":{"entity-type":"item","numeric-id":5282055,"id":"Q5282055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$C2166F8D-E20C-4509-88DA-2363D0A10B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4193e9c7740fafaf9589307317bcc88dfce3c297","datavalue":{"value":{"entity-type":"item","numeric-id":4957611,"id":"Q4957611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$DDF07D76-DAD1-4BA8-9A18-4F804FCF2C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59396f340e547b01222c9feee0a8658035251f7c","datavalue":{"value":{"entity-type":"item","numeric-id":3745291,"id":"Q3745291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$35B213B1-9C9B-4798-9A2F-9E49B76D959E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bb5a998b63191dc8483b56807c759ad55c1c68","datavalue":{"value":{"entity-type":"item","numeric-id":710706,"id":"Q710706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$E84054AC-0D19-4E84-9ADE-85A1262F6976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b15d7d6dca3e65a884cf3843d25afdc3e50e2","datavalue":{"value":{"entity-type":"item","numeric-id":3426554,"id":"Q3426554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$6918D93C-400A-42C1-874A-FD7B7FF95D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e12dd84f443a5fa1ae8331ef75036f22d423821","datavalue":{"value":{"entity-type":"item","numeric-id":4682244,"id":"Q4682244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$1AAB0E9A-BD38-4C97-9703-FB657D634B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8e0b96155f6574531d511f428c1576be4072ec","datavalue":{"value":{"entity-type":"item","numeric-id":540197,"id":"Q540197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$5C15B619-7A15-4333-90E3-37406F2F4C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83669aa2a866c62f9326122f7be78afbfc20f577","datavalue":{"value":{"entity-type":"item","numeric-id":1689357,"id":"Q1689357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$9BCCF4F4-E925-471E-99AC-9E3AC0FE1D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1996de4557dcb34a403b3758c8b6ed4379e3e6c2","datavalue":{"value":{"entity-type":"item","numeric-id":5853943,"id":"Q5853943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$3BC3C349-DDA6-41A4-8CFD-FB0C34C0E5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485c2be01f9316c6756dcc6b7cad36d33582e923","datavalue":{"value":{"entity-type":"item","numeric-id":5056399,"id":"Q5056399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$E0B08F97-42C2-4F2E-9AF9-94423CE25C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0916abf86beb0d039a2fec6e690f65697f6b18","datavalue":{"value":{"entity-type":"item","numeric-id":4247290,"id":"Q4247290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$69ADA685-07BE-4D97-94A9-93A6E2B80025","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":"Q6550220$0222CD47-48C3-4458-AB78-02991EFF57C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3607fca728049c0b3453a77379ac2fdbd2940743","datavalue":{"value":{"entity-type":"item","numeric-id":5266960,"id":"Q5266960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$A63AD149-5F3D-4D18-BC10-8CDA10D10DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0981d73da39be3b4fc99330bfc13bb1a2806b927","datavalue":{"value":{"entity-type":"item","numeric-id":2060875,"id":"Q2060875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$40F49C2E-EF3F-43C1-B616-DD2EEAB185A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ff4750b65a9aaa6ac16de91c7369674f081ee7","datavalue":{"value":{"entity-type":"item","numeric-id":462384,"id":"Q462384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$4B03A79E-6FF9-4B45-885B-6FB2B8835690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55439dbcc2b9bb19a44ce720b8d50aa4bb6bff0d","datavalue":{"value":{"entity-type":"item","numeric-id":5282361,"id":"Q5282361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$CE12FE8A-2C52-45FE-A816-91D82228643F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42fda6c18f3d9d0418d7d3b0ec22ec0ae0e54bba","datavalue":{"value":{"entity-type":"item","numeric-id":2665360,"id":"Q2665360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$BB68DD21-0E33-442F-9227-6FBDCB8A0771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f436a348e99daa7ab98ff495d7bbd7dbcfc23d","datavalue":{"value":{"entity-type":"item","numeric-id":5854760,"id":"Q5854760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$733937A0-1C48-4AEA-A2D9-F0ECC13ECE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$AC8B17AA-96A9-4334-83CB-80674CC48D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e8a53da7781e669cf8902a06caefa80eed520b1","datavalue":{"value":{"entity-type":"item","numeric-id":5352631,"id":"Q5352631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$1C1D0B78-AEA3-40EC-B6D1-622369602845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"843909c896242e08c352f951d421042470826f15","datavalue":{"value":{"entity-type":"item","numeric-id":1793986,"id":"Q1793986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$767DCED7-7E82-4C18-9E6D-407456CBA9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f695b6c59d387cb38f01de3da3b00a12ef5a6c5","datavalue":{"value":{"entity-type":"item","numeric-id":2224835,"id":"Q2224835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550220$F22D343E-4208-40FC-8482-5FAA0F105313","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"434aef7a47b0e8f132642602cfc570abe85c5a90","datavalue":{"value":"10.1016/J.AUTOMATICA.2024.111625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6550220$BA0563C6-7285-42AA-A7B7-B377B209669D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c8afeeb572ad36061cc59b43713d7bf8d8b782b","datavalue":{"value":{"entity-type":"item","numeric-id":4535794,"id":"Q4535794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d95b83088151e8d634548080404caeb1f74a364","datavalue":{"value":{"amount":"+0.8137996792793274","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":"Q6550220$7602F409-3B54-4DD9-A03B-07877AF4497A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"628d9af9a3dfb68c52d5d3e51a04226aa5afba0b","datavalue":{"value":{"entity-type":"item","numeric-id":4361121,"id":"Q4361121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f16297c3bb3122085b0c7e06c872429b9b7bd508","datavalue":{"value":{"amount":"+0.7898727059364319","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":"Q6550220$9CD02C67-C5FB-4E62-BDA7-0F5D5A85FF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59d89b8c892ae8b7284a8d6a85b4e99c3818aa54","datavalue":{"value":{"entity-type":"item","numeric-id":2766565,"id":"Q2766565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e75b42b0d851b181b1d63c4e4f371d515647d614","datavalue":{"value":{"amount":"+0.7862144708633423","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":"Q6550220$D1CE2FAA-DB96-4B3D-A596-8B7C9478F6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b067c6a36402f13bf69128c9a0cf0892cbf9d144","datavalue":{"value":{"entity-type":"item","numeric-id":4633154,"id":"Q4633154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3d8d9f3756e64aadee0c1833e31934118237c1d","datavalue":{"value":{"amount":"+0.786095380783081","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":"Q6550220$F4B01C15-A9A2-4394-9C7D-25D6D2FAC3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3949b0e8dc4d1673ede6c14e7dac2fc2748fe9c9","datavalue":{"value":{"entity-type":"item","numeric-id":5252903,"id":"Q5252903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"174e1bbf15038ab4ba6f80ab7a4b6374bb21cbf5","datavalue":{"value":{"amount":"+0.782981812953949","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":"Q6550220$DFF2768A-9907-415F-8244-25CE4A1513E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6550220","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6550220"}}}}}