{"entities":{"Q1662542":{"pageid":1673283,"ns":120,"title":"Item:Q1662542","lastrevid":53174849,"modified":"2026-01-24T09:36:04Z","type":"item","id":"Q1662542","labels":{"en":{"language":"en","value":"On liveness and deadlockability in subclasses of weighted Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6920505"}},"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":"Q1662542$05183F64-8D7A-481C-98F4-1B31A86944BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"195d51fd9d378726d4481311ec50a7601507075f","datavalue":{"value":{"text":"On liveness and deadlockability in subclasses of weighted Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1662542$657F1005-52E9-4FDC-BD61-97972DCA3FAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf2c63bdcb22227386ae839afc69e37f1cc8de70","datavalue":{"value":"1393.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662542$C8D470ED-79E8-4F81-9F98-62B6465D253C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be34bfdc0a436e807942a5cd81697a9486bd7506","datavalue":{"value":"10.1007/978-3-319-57861-3_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662542$898A5728-9301-465D-A1F1-3F4617E1A38A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d7912b66b573ce26594bd93e05229a12e4d17b9","datavalue":{"value":{"entity-type":"item","numeric-id":1623287,"id":"Q1623287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662542$C23D6309-FA42-46FF-974A-BAF698BD5207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"339e021ba63ce43474248ae6e57750fa061ec58e","datavalue":{"value":{"entity-type":"item","numeric-id":218984,"id":"Q218984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662542$8BD6F24C-3029-488F-8EA2-58F46B0AC8B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"431a43c637c8a2264e4d8145aa5a3c26bfb96786","datavalue":{"value":{"time":"+2018-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1662542$B5F69F73-A23E-4792-B025-CBE85314B527","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662542$9E7A6F47-907E-490B-9B9C-B59879B833E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d901f9c77aebf73f1e68eea5c575b809e03f5e3a","datavalue":{"value":"6920505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662542$61773456-4D7D-45AC-9C3B-8E959B957A6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91e8309eb16e0328e2ade32d2009aaeee6aa87b0","datavalue":{"value":"structural analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662542$7E16C13B-7F23-4939-B2E7-8518CC8EEAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3cdc749b5db4c27ca5072458cf7aa6a3f4b33c9","datavalue":{"value":"weighted Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662542$11841EA7-9804-4C31-868A-67A1B3A84641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1da5ac9772e63aa6d22fc7abdd6f4968f3ecc671","datavalue":{"value":"deadlockability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662542$B88B1652-1600-43BE-A126-E3C6AC7FF026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662542$D30DC9E2-6002-4A08-B858-586CF444E4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662542$E2BB05A8-D0DA-4AA8-9784-271D82736965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afe493c1ace3fa52144c0315aaea9019dde435a3","datavalue":{"value":"monotonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662542$467BA374-8EF8-41C6-99BC-85C74C366223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4afa6b4ce99de3e35545955bb30d20cee47c50b","datavalue":{"value":"fork attribution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662542$163AD7EB-F1FE-453B-9775-604D94EF7606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81701814e6c34410a820e0b7399043ca65a1bf00","datavalue":{"value":"join-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662542$ECD08F36-6DD7-414D-9AA4-C16193295750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"018b56ed7f45f2cb13336431a2fa5a60eb31a217","datavalue":{"value":"communication-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662542$0275E039-201E-4515-8DD8-B82098143FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62fdc31fa25c4b7ae7ec274d4515057db7b5fc2b","datavalue":{"value":"synchronization-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662542$D111416D-DCF7-4AE1-967D-798DCF1BB02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55ea02ff9b42a822fad9fe853f64844668c6d7de","datavalue":{"value":"asymmetric choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662542$8DB3F9E8-033E-4C85-A99B-37EBAEFD4D6A","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":"Q1662542$282352A5-9C2B-4ADC-9C43-9DB9ACD84037","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b78e02f873f53bedc0d5801b1f97410e830436e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-57861-3_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q1662542$F8370AFE-7D41-4FDB-B722-2F5DDCA1D9BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3341feb2d72b328b467ee1886cb77966e7e1405","datavalue":{"value":"W2611001520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662542$82F00136-30AB-4DD4-BED2-273AB2AC7827","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73490371d63d5b23ad476443c6f2aeb738368ecd","datavalue":{"value":{"entity-type":"item","numeric-id":4686523,"id":"Q4686523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5154886a337730bbe4e05e06f7b9f8845200a12f","datavalue":{"value":{"amount":"+0.9473366737365724","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":"Q1662542$18FA460C-C667-4C92-BDF8-28713CDB9071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb7bfaf2f2775a7ef2cb48f5d9f3caf21976b3b","datavalue":{"value":{"entity-type":"item","numeric-id":5696930,"id":"Q5696930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9534faefe5876c3c2336adf47ea047c93609835","datavalue":{"value":{"amount":"+0.8368908762931824","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":"Q1662542$25239E04-52E9-4EA9-A626-9CB10DB4009E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a9975b3987a4caf027cf359fec430afba1d6f3a","datavalue":{"value":{"entity-type":"item","numeric-id":5713527,"id":"Q5713527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a1549d816401aa9a1499753fd420310e9b76454","datavalue":{"value":{"amount":"+0.8128525614738464","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":"Q1662542$6EACE1D2-57EA-4551-9496-9A62CE0C3663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e080f5f9159b24b7b65ec672816cf80f37a3d0a7","datavalue":{"value":{"entity-type":"item","numeric-id":4976374,"id":"Q4976374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30d735a77ab95afaa7a5114fb7c86ace75b9d8ac","datavalue":{"value":{"amount":"+0.798113226890564","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":"Q1662542$20A90131-783C-4F4E-BD02-337079E40607","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":"b8db76edb9f47cbd7349fec89d92b2e9091da80d","datavalue":{"value":{"amount":"+0.7977840900421143","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":"Q1662542$703B5D83-A17C-494F-BD2A-390FF3B24952","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1662542","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1662542"}}}}}