{"entities":{"Q2842581":{"pageid":2853301,"ns":120,"title":"Item:Q2842581","lastrevid":51800924,"modified":"2026-01-20T02:50:00Z","type":"item","id":"Q2842581","labels":{"en":{"language":"en","value":"Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198625"}},"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":"Q2842581$75E7DCA7-5A1F-4911-9ADB-C1D53141A812","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"295286877e341414cbe5f8d635933d2694935f4e","datavalue":{"value":"1270.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842581$62F317D8-8E35-4808-8FF1-D0151FA0EA8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b8f0381867292e699b2dcfe81cbb00e95962b3a","datavalue":{"value":"10.1016/S1571-0661(04)80474-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842581$FB1008E8-E638-4513-8B3C-4E8DBECA49B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"917193f43b155bc5f83a938f9c1c2e6bb5626b5c","datavalue":{"value":{"entity-type":"item","numeric-id":2842579,"id":"Q2842579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842581$A0A3B8F1-1062-4DCB-8CF8-CD71605B0CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81856cb81c8fe0b43f175bb229fc59521b17f1ad","datavalue":{"value":{"entity-type":"item","numeric-id":2842580,"id":"Q2842580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842581$7CBDC96F-2FAB-4B37-B478-57E9AAE30AC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842581$3AC30D67-26F5-47A4-90AE-09749A299807","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cae65d5bdd2bde2e45e093857c98fd868d4f335","datavalue":{"value":{"time":"+2013-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842581$57E85351-19C9-4406-8DD5-F27604B23B58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842581$989DC559-3EEC-487A-A3F1-ECF8CB98810A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842581$58D97575-E228-4515-9867-32770E97573A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8692b3b6f40e3944f4e36928a46c518d38350b84","datavalue":{"value":"6198625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842581$9E639E10-D833-4750-8868-7A025B35A33E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c979ed6dd8b02530e3ec1561c5ea334a0d087b6a","datavalue":{"value":"real-time embedded software","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842581$1E5EF366-6379-49A1-939B-543937B67227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ccf7bd75acc8031fa47faff4055ebc840b7e871","datavalue":{"value":"colored time Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842581$A1376F58-91BD-4E94-BC92-5A1D4542C4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dd01dea9eb91501f4467f6e93d632fca6cbb9be","datavalue":{"value":"quasi-static scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842581$0FA39AEB-5F7E-47E5-9E48-185BF5495DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6bc6768f771e8ae47ba1683cf1d33a808061abb","datavalue":{"value":"code generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842581$6F8B2CD0-07BA-4D44-ADFF-3AA538BBD44A","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":"Q2842581$E9B7225C-7BDE-434E-A9A4-DCFA0B95B70C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c559f368f6807b01c11bafd107fdb0e8e313b7e3","datavalue":{"value":{"entity-type":"item","numeric-id":4344156,"id":"Q4344156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842581$154F72D0-3504-4BF6-AE6B-8B14C930A157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53675075288675fa7342cb7f3aca57c38db7e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842581$B4EFC0D8-E794-45F0-A5E2-74BEB44C43BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c88fdec593483662a89d28548d30f5a2ef29857","datavalue":{"value":{"entity-type":"item","numeric-id":3964002,"id":"Q3964002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842581$08EF14AD-2944-45DD-BAB5-ACE8CB271BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44538946fe811cf0187b1e06bec804c9dc495d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4136583,"id":"Q4136583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842581$21E31EFC-CD71-46E5-8510-2052450F887B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f86fd819f8f6f559e3b28a1f50b90a7424fb937","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80474-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842581$BB0DD2FD-C860-402D-8E5F-680C52D64D56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4362047fccd16037310a05178a4768b75829fb0d","datavalue":{"value":"W65219368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842581$929AC2B8-A795-43A7-968A-78C4F4A4421E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b8ce25758dd5e3af94a2af4b015c4aa8ef1ccbe","datavalue":{"value":{"text":"Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842581$F5206C47-43F9-4C02-BC82-3971658FA90D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5063c2cff4f23dcad2a7c274079878aaa025c7ba","datavalue":{"value":{"entity-type":"item","numeric-id":4654724,"id":"Q4654724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88647ecafb1d45882a1ba45d037b627792a19c31","datavalue":{"value":{"amount":"+0.7626895308494568","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":"Q2842581$7E525FE1-0EEB-464D-ACBB-7C41D40BB67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b8c306e80fab988520dcfbf3c03738dd0929562","datavalue":{"value":{"entity-type":"item","numeric-id":4535795,"id":"Q4535795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c52f125bd5b9b090bae9d39a4971329f779a987e","datavalue":{"value":{"amount":"+0.7474097013473511","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":"Q2842581$1D6D29D1-65DB-4439-9A7A-DAA9D29856BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aecdce073c4f6bf73ea098334f8fd024e525339d","datavalue":{"value":{"entity-type":"item","numeric-id":3564026,"id":"Q3564026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eee8fe6a00b63023497f730bfce3e1159b4690e5","datavalue":{"value":{"amount":"+0.7379969954490662","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":"Q2842581$7FF97B67-C448-4E5E-8890-FDE6A9AC76B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26ea591e3900d3b9d980af3f15cdf4482b098939","datavalue":{"value":{"entity-type":"item","numeric-id":3647540,"id":"Q3647540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8dd3fc888be10884424927d41c9746bd1808ca2","datavalue":{"value":{"amount":"+0.7335724234580994","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":"Q2842581$AAFE1E18-E37C-4586-9889-FE3B55A63D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ee37f37e6c04a6573141f4497fdfee7a8fb74e","datavalue":{"value":{"entity-type":"item","numeric-id":4494090,"id":"Q4494090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e77ce599a882e4c9b2495dfa4be4072361e1ec6","datavalue":{"value":{"amount":"+0.732671320438385","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":"Q2842581$3EE2EA7E-76DD-4B3F-88B5-8B0EBE116A47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842581","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842581"}}}}}