{"entities":{"Q780961":{"pageid":782810,"ns":120,"title":"Item:Q780961","lastrevid":64370934,"modified":"2026-04-11T19:24:38Z","type":"item","id":"Q780961","labels":{"en":{"language":"en","value":"Deadlock and liveness characterization for a class of generalized Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7221562"}},"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":"Q780961$8FC03CB2-52E6-4E0E-8916-EE1410575613","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03b2c048bc3b9929f2a8399bb30624dc5f6c1abc","datavalue":{"value":{"text":"Deadlock and liveness characterization for a class of generalized Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q780961$FD09FE7A-97C1-44D5-BED4-DD12BF0A7D84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9030aec732bf347b8aab4efe761a09666bcb94b7","datavalue":{"value":"1436.90041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780961$B590165F-70F7-42A0-987D-193ED3F3083D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a57a91615f4891572a1c59bb76e4dc7aec5d87e","datavalue":{"value":{"entity-type":"item","numeric-id":340708,"id":"Q340708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780961$F14507F5-75C5-4365-9749-331497DD00CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fae75afa5e435d148e9934142d00fa1b424f579","datavalue":{"value":{"entity-type":"item","numeric-id":466320,"id":"Q466320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780961$6ABDC071-6D0B-44AE-B090-5C4CD923C1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d51c819838d8ea63954fd24f1aad6c41fa997d4","datavalue":{"value":{"entity-type":"item","numeric-id":445933,"id":"Q445933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780961$56E46CB6-BC0A-41C8-9C96-5ACD985C9774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cf005bef78cccf932ea3e4b407136a1a7937665","datavalue":{"value":{"entity-type":"item","numeric-id":780960,"id":"Q780960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780961$CEBC4252-31AA-4532-A9B9-7205BCD610D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27d8c3f349b505a8619d8433c47cc2c6860c3dfe","datavalue":{"value":{"entity-type":"item","numeric-id":297420,"id":"Q297420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780961$3F1B809D-C2D3-4118-934B-9011317B9683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc965c71423feffd0db96f01a4fde46f98860da5","datavalue":{"value":{"entity-type":"item","numeric-id":337291,"id":"Q337291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780961$CFB6EF27-4123-42F4-8AC9-AC11447AC442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e406ab38e993d058bb3a55ad7e1ed448dcf0b0e","datavalue":{"value":{"entity-type":"item","numeric-id":680551,"id":"Q680551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780961$F3FA4EC1-D360-4341-9388-29DD8C993F1C","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":"Q780961$A0330CC8-C06E-4B5E-BA18-6DB08423D167","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780961$D1BCDD3F-B1B0-4EEE-85A1-9F702367E2F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5aff83f23e6fd403d1991c0c2a7becf4031c09c3","datavalue":{"value":{"time":"+2020-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q780961$685A3058-9986-4C7C-BFDB-255794C1228A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"38e213338db24b8f359e8c3fca9e6e9ae655d7ca","datavalue":{"value":"90B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780961$AFBD4F8E-36EF-4CAF-8972-45FC680C3144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780961$56A3B9CF-5645-47ED-B8D2-2EB4ECD1051D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b07b2fefb5d36a7dde21246f0da838a5c2280ebc","datavalue":{"value":"7221562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780961$76314671-5B22-4521-B941-B06EF8B39B88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q780961$843611E1-1F47-4AB3-9CB2-FBDE1980DB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q780961$4CDB391E-2F95-4476-B650-838DE610B42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q780961$1AA97885-8159-42C9-A06F-4E2C639DC0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcd68c1bd69afd0a113cf3433bf84fa7b891d74b","datavalue":{"value":"flexible manufacturing system","type":"string"},"datatype":"string"},"type":"statement","id":"Q780961$5011D195-56C5-4A9D-B744-9EE33727B545","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":"Q780961$3B58D54B-B4D4-4ADE-8AEE-BEDBF2C95970","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f77b189fbc7cb45a489996b708e41dc4bcee52bb","datavalue":{"value":"https://doi.org/10.1016/j.ins.2017.08.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q780961$13788B53-A32B-46D2-B755-2328ED0A294D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b0583124b5ec081780d6bf0ffc95b7b4bd4a75e","datavalue":{"value":"W2749429672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780961$D7DC31F2-1048-4AE3-8357-6278EDE64D1E","rank":"normal"}],"P223":[{"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":"Q780961$E74134D9-B25D-4770-9E03-84F2A6F80FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89d478bea66cfd5c8dc253170875e49d42e0780","datavalue":{"value":{"entity-type":"item","numeric-id":2279726,"id":"Q2279726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780961$28D0B7E2-AF13-44A1-9832-8E6465A983F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b98b85613a8065e6d08b5bb30fd440bd8cd5e4","datavalue":{"value":{"entity-type":"item","numeric-id":2292945,"id":"Q2292945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780961$91099437-0E4A-417D-91ED-5A224961FE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fc1003f611d39b9a3fe7685e8a61ceb967a718c","datavalue":{"value":{"entity-type":"item","numeric-id":497950,"id":"Q497950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780961$8F1C270B-42DE-40D5-B7A7-2150F99E9EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ce3d5b1318c4aa4bdb7a5b263135990315df64","datavalue":{"value":{"entity-type":"item","numeric-id":3550610,"id":"Q3550610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780961$62A67159-F261-4B63-8E3B-73D7A1EBA679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b369429581047e1dabd46e6eafe270ef5ac985","datavalue":{"value":{"entity-type":"item","numeric-id":3037135,"id":"Q3037135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780961$147FE65E-7BF2-45CF-861B-6EEA8C032E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b5735eff65a3b6cbe9b64c004b793422d34b62","datavalue":{"value":{"entity-type":"item","numeric-id":1295161,"id":"Q1295161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780961$46519914-D7E6-46E4-A386-5DA1C6B6FF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216307e7c13e9a993ff82d164c795376d2d00c8d","datavalue":{"value":{"entity-type":"item","numeric-id":976266,"id":"Q976266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780961$76009DA2-C99C-4DA1-804C-20799EB918D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb4775bfbb17da1c0c3e0f18cc58836a37ed0fc","datavalue":{"value":{"entity-type":"item","numeric-id":2982662,"id":"Q2982662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780961$E333CE98-BD90-4861-8E28-C812AACD4FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b53d518158d76caca28ecf33375b68a8aa455e","datavalue":{"value":{"entity-type":"item","numeric-id":5282378,"id":"Q5282378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780961$7891D940-A313-4FBA-BE7C-AB84CFBC7EA3","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":"Q780961$66C57A3E-8833-4EDC-927A-5A74C8965C86","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":"Q780961$CA071C1E-F459-4D22-97EA-4E47310A6C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051c287c0a7721b855b3c85f3b4e4e1f215b24e1","datavalue":{"value":{"entity-type":"item","numeric-id":3550619,"id":"Q3550619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780961$1FBF7686-AAE7-4C6F-B718-B878CEBF3116","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":"Q780961$1F919C94-9D17-484D-9681-2FE1A35B8CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4269a4b3e8b0feabe2402cfb15a510dbc999fe","datavalue":{"value":{"entity-type":"item","numeric-id":2980390,"id":"Q2980390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780961$D98525AE-5DDA-4E82-A048-244B7D152FEC","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":"Q780961$A8623CFB-377D-4A41-9638-A7245E694C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a2da9b3c1e82f21e19fef60d98a210a7ec059b6","datavalue":{"value":{"entity-type":"item","numeric-id":466321,"id":"Q466321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780961$4F5ADB0C-0C95-4238-AC88-98C7CA287478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d0d621d45acefd3e8c1a040bcc6efb8ecf7e7d4","datavalue":{"value":{"entity-type":"item","numeric-id":778456,"id":"Q778456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780961$1F3677BC-B011-412F-B592-C2FE4B7FD97D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"943cd08f66de348206912ae4fd4cb761b4627ea0","datavalue":{"value":"10.1016/J.INS.2017.08.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780961$BD4915C9-5018-4CCC-A8C1-2DC48CFB802B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fabb2ba0e8e7cb05e14827323fdbe1bfa8fade12","datavalue":{"value":{"entity-type":"item","numeric-id":4684002,"id":"Q4684002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a11a76a3f726a4d9973f89bbd2961fe7d7e7612","datavalue":{"value":{"amount":"+0.8804134726524353","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":"Q780961$208BF811-AA1F-4B82-8DF2-528CB568193C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22ba0fc2189c174b868f9afb388e2c36ffc4f04e","datavalue":{"value":{"entity-type":"item","numeric-id":976266,"id":"Q976266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e6ee798c426e55be1a31024238040367b9c71b1","datavalue":{"value":{"amount":"+0.8751539587974548","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":"Q780961$83B64D36-7B32-4290-85D8-C3FEFFB1A0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ed9451204a7434ae623444f1a408646f58691b","datavalue":{"value":{"entity-type":"item","numeric-id":6487387,"id":"Q6487387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"198d894d4b6063ec53c18ce3abee8a05375b259a","datavalue":{"value":{"amount":"+0.8566795587539673","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":"Q780961$B04090AB-6693-4CC1-A59A-797638209752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e50c02530632b8bc503b7575d15b89989d6f111e","datavalue":{"value":{"entity-type":"item","numeric-id":2798480,"id":"Q2798480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79c4223879f53c3815a79796f33ff942cd1392ae","datavalue":{"value":{"amount":"+0.8508170247077942","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":"Q780961$315DF96A-5E06-4974-9849-D3964559B9C6","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":"78af4bf67c603ec473ac59bc221985501653b2f3","datavalue":{"value":{"amount":"+0.8473721146583557","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":"Q780961$7E771B1D-80DF-4411-99BD-55A2D6CF6D6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deadlock and liveness characterization for a class of generalized Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deadlock_and_liveness_characterization_for_a_class_of_generalized_Petri_nets"}}}}}