{"entities":{"Q4603553":{"pageid":6633136,"ns":120,"title":"Item:Q4603553","lastrevid":90083597,"modified":"2026-06-04T19:06:17Z","type":"item","id":"Q4603553","labels":{"en":{"language":"en","value":"Consistent timed semantics for nested Petri nets with restricted urgency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6839687"}},"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":"Q4603553$2CE1C901-2D06-4148-B9B8-13C4B2EB0D93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f5b30e728a0e6aad311c9d013c7e7dd6b4f1b98","datavalue":{"value":{"text":"Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4603553$D2B02B0F-59B8-4BEB-B100-C4CABD989161","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e85b0508f008bb3676563c379023cb544dbd77e","datavalue":{"value":"1433.68249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603553$BACADE84-505C-4F8E-9F36-6664A7F50986","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb314c591b6226ba7ed842de5bf46705c1fe3553","datavalue":{"value":"10.1007/978-3-319-44878-7_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603553$416BD912-74EE-45B8-A17E-6C0D4A0BB576","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ecbd09bec0e3d458b0b9e43410a94d6d7222c5c","datavalue":{"value":{"entity-type":"item","numeric-id":2216721,"id":"Q2216721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603553$C8DA1AD8-8BEB-4717-AED6-872811F451BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603553$13ECFA88-AC51-4F8F-894D-8E4638843757","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"026fcddfc7ebe5ada2146aa6bcd14393afcc73e1","datavalue":{"value":{"time":"+2018-02-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":"Q4603553$D24CB491-E6AE-400E-AB73-2421AF31610A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603553$0F11F34E-97F7-4C8F-9C63-808855B9B061","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"faf64233158b1ad160686c3ca08bbe499806a906","datavalue":{"value":"6839687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603553$F0472871-A5A0-4B64-AB79-4838EB1D5745","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94ad8f9f36100d48574fd88748b1f6bfcc77ad67","datavalue":{"value":"nested Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603553$C7AAAF11-5A0E-40A1-BB65-282C44CB1C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a541b38df20b26024f3e8ac78f659c48e09a1cf","datavalue":{"value":"time Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603553$08E3B732-6806-4D93-866E-7586727C7FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ead3eb7ef3920b5d95f80be94c89bb441800ba04","datavalue":{"value":"well structured transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603553$2F6A0006-030C-4623-AF8E-C0310C00E37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91ac4d68b766aa77f4d4012c4b6b7216bf9e2a84","datavalue":{"value":"time semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603553$5DE0572D-49A5-44BB-B037-2DEE7B782C01","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":"Q4603553$A14C0DCB-B4A2-4E4D-874F-7B8EFD814D29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22d0592e725dae506caed8b9b511334b45788ee1","datavalue":{"value":"https://doi.org/10.1007/978-3-319-44878-7_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q4603553$9C5E39A0-190B-4137-BADC-05938358F076","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b63119b7c76c971ccd57fc247bbaf9e39fe9945","datavalue":{"value":"W2509023953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603553$C4FFE27C-0F1E-40FF-ACBF-8F5ECA7EC119","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a271ef6c3abafb73500061015691b1cd9b4862b5","datavalue":{"value":{"entity-type":"item","numeric-id":4507821,"id":"Q4507821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faea2d7ec5fccb858af9dbe1b1fd38bb834d95f3","datavalue":{"value":{"amount":"+0.7611720561981201","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":"Q4603553$D875263E-CF0D-470D-9A4B-2C6138A3BECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a5fda790e6db4f5c034e53c03ed59792184037","datavalue":{"value":{"entity-type":"item","numeric-id":3474896,"id":"Q3474896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab419fbb1fb300774f599bf29744f8a8dd8fe9ee","datavalue":{"value":{"amount":"+0.7535564303398132","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":"Q4603553$9595BDEA-64E4-40B0-AACD-41348C87CFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3395e797eb52fac16c9e63a80de669b49b6c5e7c","datavalue":{"value":{"entity-type":"item","numeric-id":5305757,"id":"Q5305757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6054683cdeb54b902da1d580dbb9e625529e9611","datavalue":{"value":{"amount":"+0.7489995956420898","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":"Q4603553$9481752B-4A25-47C5-BA73-17B02E5D903B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af20968324e039ab045af9523eefc29a9507138","datavalue":{"value":{"entity-type":"item","numeric-id":2822660,"id":"Q2822660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e83052c983a78c0dc467fbdb54c739a68f84548a","datavalue":{"value":{"amount":"+0.7469359636306763","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":"Q4603553$43930465-5B42-48EF-8EA4-EE015293D273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b4dcb952fc0a32e3a86bfc799d22a8787689e18","datavalue":{"value":{"entity-type":"item","numeric-id":5452192,"id":"Q5452192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74f430502baf0c3ef7c72c6064e98fe0895af6d7","datavalue":{"value":{"amount":"+0.746837317943573","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":"Q4603553$8FC4877B-CCE8-4C29-BE27-D8DB5123AC9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consistent timed semantics for nested Petri nets with restricted urgency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consistent_timed_semantics_for_nested_Petri_nets_with_restricted_urgency"}}}}}