{"entities":{"Q443729":{"pageid":445496,"ns":120,"title":"Item:Q443729","lastrevid":51526664,"modified":"2026-01-18T15:41:33Z","type":"item","id":"Q443729","labels":{"en":{"language":"en","value":"Efficient unfolding of contextual Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6065026"}},"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":"Q443729$26BD9921-DE4C-4067-96D6-A19C4F4B1A5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d63c4aed05c2547059396fc5baca4f874713abb7","datavalue":{"value":{"text":"Efficient unfolding of contextual Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q443729$3D319FC6-A2DC-4242-A1C3-BAF1EEC637E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"228e2535bd9864a809dc1a08e4764c1fa07dee03","datavalue":{"value":"1263.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q443729$CA2206FF-606E-4D64-8380-84D6BE7D448B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84734b2f28e9a35d6144f12b4db78e213891dea","datavalue":{"value":{"entity-type":"item","numeric-id":338612,"id":"Q338612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$CBDAF9E7-DB7F-498E-B03F-E0BC124EC473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbe48f49ae3f2fe4d56851753823e3341a70d337","datavalue":{"value":{"entity-type":"item","numeric-id":443726,"id":"Q443726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$1A3FEC20-5799-49A3-9578-547E5865C948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b00d93131f1b38401f6d724c500276180fc1e824","datavalue":{"value":{"entity-type":"item","numeric-id":171483,"id":"Q171483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$E93E9A37-D5BF-44A5-9D48-62CFE373E2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a7b49c0fa0207c4126ab92ba9aba076a2f1895","datavalue":{"value":{"entity-type":"item","numeric-id":443727,"id":"Q443727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$AC4E4934-86CA-4AB8-846B-E3B03B46B8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a7e74fc81033469e57e8f9cf85ff29248af5638","datavalue":{"value":{"entity-type":"item","numeric-id":443728,"id":"Q443728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$650744CF-8136-4692-AB9A-9A6E9E7950C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42938a6743e1355728dbe4fe3c3ae295737cb5ef","datavalue":{"value":{"entity-type":"item","numeric-id":314814,"id":"Q314814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$D1089C84-E75B-4347-A1DC-87882304D8F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$8458E728-5DC7-4899-9325-1E3B1A338A9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ebe7fa7a2c02a55022632020f273bc460922804","datavalue":{"value":{"time":"+2012-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q443729$0C9CE0DF-E91B-4AA9-BC72-0038695A4A39","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f2cff647f9a0534e31fef8ae1ffb3ccb55cded98","datavalue":{"value":"A contextual net is a Petri net extended with read arcs, which allows transitions to check for tokens without consuming them. This way, concurrent read access can be modelled directly. It is known that unfoldings of a contextual net can be exponentially more compact than those of a corresponding Petri net. This paper contributes two methods for computing contextual unfoldings and studies their efficiency. Experiments on a number of benchmark examples show that contextual unfoldings are not only smaller than unfoldings of corresponding Petri nets but can also be computed with the same or better efficiency.","type":"string"},"datatype":"string"},"type":"statement","id":"Q443729$18F45838-7D1D-4CCD-97CC-CDA1E1B5BB49","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"278cb718fa512f840b9c5522dfe38ff5e946abf8","datavalue":{"value":{"entity-type":"item","numeric-id":589393,"id":"Q589393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$35CFEE67-C43D-4B12-A243-F98ECC7C025A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q443729$77E28C5C-572A-4AF1-87A7-77984B23CDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q443729$C99ADF08-3C63-4032-A69F-17B0716F5B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q443729$09375714-A8A4-4B16-BEC9-8E936A407131","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67dfeb58788ab34b4a8502cc619ba83f13c58a0d","datavalue":{"value":"6065026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q443729$760FF554-F7D8-42B4-912C-74EA62154AF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0213b8c8d2f9253ccaa68b4cd2011105f173d463","datavalue":{"value":"contextual Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q443729$A2CEE217-BBE9-498D-BAAD-21D3A34794FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07e99e7043f8ca48e55c1cdb65dd465ca49e053f","datavalue":{"value":"unfoldings","type":"string"},"datatype":"string"},"type":"statement","id":"Q443729$B479FC1D-22C9-4AD7-B6F7-66910CD17C1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db07b886d0532feb1d55ffc64c3f5d0ccba48248","datavalue":{"value":{"entity-type":"item","numeric-id":21226,"id":"Q21226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$3D37495F-D99E-4B6F-918C-2D20E665B9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca0ec24a69cf1f915d924307d29172a5f8a3ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2426635,"id":"Q2426635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$0179B777-383F-4B76-AA50-B230E6343AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb8ec87c00bd6fdd3425679719d82b21b0e3dea6","datavalue":{"value":{"entity-type":"item","numeric-id":4251922,"id":"Q4251922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$1B0EE4EF-B7AF-4E1A-AD43-03BC02D6813E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d555c1e6bb7fd9e23cf7a4b70319eb81437c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5096288,"id":"Q5096288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$FF983F5F-E6B9-410F-8B5A-F012F48018A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96d1b593a811ff03ee4bcf7cc72803c7774fe046","datavalue":{"value":{"entity-type":"item","numeric-id":3839067,"id":"Q3839067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$2F89EA06-08A3-4963-9D53-B06DA24AAFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af7a9be3cfc434175de5db569d22d2a34c2d019","datavalue":{"value":{"entity-type":"item","numeric-id":3146285,"id":"Q3146285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$23E518CA-62A1-439D-A9F7-7C22BB4250FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09496a73df557c40b259d302e74451197f6f9309","datavalue":{"value":{"entity-type":"item","numeric-id":3599219,"id":"Q3599219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$01DC8CC6-DA92-4E3F-99FA-2AB0490A5613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29558a7d29a75e1c126135f22d6c400886954fba","datavalue":{"value":{"entity-type":"item","numeric-id":1600655,"id":"Q1600655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$C63CB8C6-AD14-43C7-B57D-828A54C557A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60ef53f9fbf165762771687f4a12e411cc7e1680","datavalue":{"value":{"entity-type":"item","numeric-id":4931306,"id":"Q4931306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$FE880474-18B7-4766-93F6-466F4D3EAE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca9492964a41eba0863a517f193c2539194893d","datavalue":{"value":{"entity-type":"item","numeric-id":3090840,"id":"Q3090840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$722D271F-AC55-4B0A-A26F-02C4DB74AD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44a1145e260c347d17380ab66ad54c66824f81c","datavalue":{"value":{"entity-type":"item","numeric-id":2508333,"id":"Q2508333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$84A01B44-BB34-4BCF-8E05-17B08BAC1242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df23f6ccb13b7deb7619c44c8685b192d26beb0b","datavalue":{"value":{"entity-type":"item","numeric-id":1889762,"id":"Q1889762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$AE06381A-FB87-45D6-87E7-68C6E99C9D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66033f43f58869667a3e65d22bd41d465395f07f","datavalue":{"value":{"entity-type":"item","numeric-id":4264234,"id":"Q4264234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$5DA7C4A4-DCC0-4015-8758-5A01480FA492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b51c779cb8c410e34cefcfe7146c74f9d8ea23f","datavalue":{"value":{"entity-type":"item","numeric-id":4531752,"id":"Q4531752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$5AA658BD-62F8-49F5-80C2-7C0A3164CF01","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e1251f67615721cc12212655ce59fa096815c1ba","datavalue":{"value":{"entity-type":"item","numeric-id":21226,"id":"Q21226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$A7375D4C-4B92-4DAC-B559-4D6026E64555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"583ff11db004aa19fd5f8056604b99788a42cbf1","datavalue":{"value":{"entity-type":"item","numeric-id":16592,"id":"Q16592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$9464DB13-A96B-41A0-996B-9DFA5494FA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ec4283ac76ac1eccd5b779eea468102ae4078c9","datavalue":{"value":{"entity-type":"item","numeric-id":21225,"id":"Q21225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443729$EB9E99E8-1302-40A0-9C69-0FB6EA91A26E","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":"Q443729$76F76798-6D96-4330-8E1C-D89D6ADDAF31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e843a1003607f1ba035f23c2685921c481410344","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.04.046","type":"string"},"datatype":"url"},"type":"statement","id":"Q443729$9041271A-58A6-4771-8686-3B2ECA617E52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"309e3c9cd51033b5a52de990d34e2840738d2062","datavalue":{"value":"W1975899067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q443729$819D8EA4-88B4-4FB8-8B14-E3F0C812C73B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27b4941fc73227f6b5a4de4ece2b15b28ab0ee10","datavalue":{"value":"10.1016/J.TCS.2012.04.046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q443729$D2FD5C51-C2B6-4007-B0A6-AD51012A8C13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"380181fc9094b277e18cd075c358fa48a823ea8d","datavalue":{"value":{"entity-type":"item","numeric-id":3090840,"id":"Q3090840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f9a75241521f3c753c124fa97a0d55614e1fa8","datavalue":{"value":{"amount":"+0.9814711809158324","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":"Q443729$BB68A78E-E3F8-4B8C-80B2-63B8AE4A42A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e33e645d06072c693f92489034f44813f6c8fe","datavalue":{"value":{"entity-type":"item","numeric-id":5200078,"id":"Q5200078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16dfdfad67392042aa0a6cd137b7fd682998c2f8","datavalue":{"value":{"amount":"+0.8811227679252625","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":"Q443729$9FC55AF6-784C-4382-8FAD-7AB7DC9CB2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58c06cc5f786ed9f0a4df20a80487e12bbeddadf","datavalue":{"value":{"entity-type":"item","numeric-id":2912697,"id":"Q2912697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"268470272a19f9812c06cb0e79cbc2e1add7513c","datavalue":{"value":{"amount":"+0.8678349852561951","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":"Q443729$F13D6C31-39AC-4898-AC1D-B70395B7FC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a163a0d576360f131b648b21ce0d4bf5f67390c0","datavalue":{"value":{"entity-type":"item","numeric-id":3146285,"id":"Q3146285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78415024a4acc96a40710dfcf499e7d4e4b2dd37","datavalue":{"value":{"amount":"+0.8574190735816956","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":"Q443729$DB6D1D8F-CDEE-47BC-B011-653416971988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11903434308d84760083ea50e2db9d6814eeabb7","datavalue":{"value":{"entity-type":"item","numeric-id":3599219,"id":"Q3599219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7433c5da90da2effe5922a943d191ef390fcab6","datavalue":{"value":{"amount":"+0.8101521134376526","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":"Q443729$8F524DE1-646B-41DB-81C0-0E6A3B1B416B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:443729","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:443729"}}}}}