{"entities":{"Q1936232":{"pageid":1946974,"ns":120,"title":"Item:Q1936232","lastrevid":51655877,"modified":"2026-01-19T07:13:57Z","type":"item","id":"Q1936232","labels":{"en":{"language":"en","value":"ITL semantics of composite Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6138127"}},"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":"Q1936232$314DD8DE-85EB-4A77-AC3F-8CBCC7E02854","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86c49908c894cd86b81ddb1c77112ed737c13018","datavalue":{"value":{"text":"ITL semantics of composite Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1936232$985FA4B3-333A-48BD-BA42-B9D1459AF487","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5eeac31874d8aa5ae96e1dc8c624a8bc541c5af","datavalue":{"value":"1283.68240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936232$C1BF6627-F969-490A-9528-52E962F07A52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936232$02EA214D-273F-4A85-BB08-F4341568D513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6e639d2eeaa2d3553e052d48e38290f102cbe38","datavalue":{"value":{"entity-type":"item","numeric-id":227613,"id":"Q227613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936232$5DD62A83-E8E0-43B1-9546-D39750862001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cde96b44d9cad9ac40bb3f7dd714b330c99ed5d","datavalue":{"value":{"entity-type":"item","numeric-id":218985,"id":"Q218985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936232$135FBB27-8B98-4430-81AA-E02142CB6268","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936232$4741507C-8E3B-4360-B8C3-97B2B05FEE61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ec88787b088b88fbcbfef6eb4534917e7df1ffe","datavalue":{"value":{"time":"+2013-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1936232$D23EAE2B-0C60-4269-830F-137EAED6D328","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a01b20f3637157f9144ed78069f22862d00e4eeb","datavalue":{"value":"The paper aims to investigate a semantical link between interval temporal logic (ITL) and compositionally defined Petri nets. Such a link could allow to transfer specification and verification techniques developed in ITL to verify behavioural properties of Petri nets, which already have a verification technique of their own. This aim is achieved by considering box algebra which supports Petri nets built using composition operators.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936232$900905F8-CF0C-479F-BDB1-2C410216762A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bd8c91b20d989f47b6d5b40572fa0e13a50d9a56","datavalue":{"value":{"entity-type":"item","numeric-id":234453,"id":"Q234453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936232$477DE5AD-C9C6-45C2-85D8-1758B94D8BA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936232$E1105C6F-85B5-4D77-8EEC-8AC3DCB5ABE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936232$879AA1CC-5E3D-4B07-A79E-0F2CCE03E667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936232$6426ABFE-592C-4E5C-85AE-419555C6B310","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed52ecb2835502a6c6a0927eb10bc6b9ffa4ffb4","datavalue":{"value":"6138127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936232$48948E82-F749-4920-B97E-A67BF3E94280","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720ba21aaaff23044d9108e1ef1b49a4a862fd76","datavalue":{"value":"ITL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936232$AE5E7DEC-6B29-4034-836E-73255663E6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936232$73E03237-810E-42CD-A4B8-EDFD0AE3DEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c54036603f2de5336c3febf3b57ef6ae56518a71","datavalue":{"value":"box algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936232$71BC4EA8-264C-4065-801F-B779B92EE176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936232$E56AFB52-B499-4904-9D99-3E9CEDF85EBE","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":"Q1936232$C28B5F63-9DF3-4A48-B393-C8C2FF1B67A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd7264c03c8c71836a1ea787209cb06608e781a4","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2012.12.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1936232$B71CF40E-CEF0-4F8D-A5F4-37EDA9EA07F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df93de910d62080c12d923facb80b08060f35b09","datavalue":{"value":"W1981586904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936232$31650F18-CDCB-45DB-A2C9-A7B00D62E02E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69e17eba314e308b70e1dfed28bea9e01a055a27","datavalue":{"value":"10.1016/J.JLAP.2012.12.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936232$CFD5E930-BB15-42B1-91CD-173CAB832218","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15640c605eae45b97807a6c43d4f1a9e38b29631","datavalue":{"value":{"entity-type":"item","numeric-id":5241413,"id":"Q5241413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f552e77662d1fd12fa6cdfc13bba92d8d869248","datavalue":{"value":{"amount":"+0.8654502034187317","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":"Q1936232$8C194AFC-3E0D-4E5E-91BD-C878E11D9FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"547138e843dcc3989d06f934500a79e071e1e4e7","datavalue":{"value":{"entity-type":"item","numeric-id":5404934,"id":"Q5404934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0906a6c72c6f5b9e25061b5eefae55c104b4b81b","datavalue":{"value":{"amount":"+0.8114496469497681","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":"Q1936232$7B5CBC40-512B-429C-A037-5CC092CC73E9","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":"d86f70f5020f2a708b9dfab640b7140a184ec734","datavalue":{"value":{"amount":"+0.7928061485290527","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":"Q1936232$07D1F176-0457-45F8-BFC9-93D6D0615140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64a16bafb6309423f9170363530ee9cdf1d5d978","datavalue":{"value":{"entity-type":"item","numeric-id":6487378,"id":"Q6487378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b9c609109825334124d340adb22af23c4330947","datavalue":{"value":{"amount":"+0.7759034037590027","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":"Q1936232$2BDE1F95-3922-4D63-A60C-35A298E0AA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f70dac8f81f0dea52ac54c53baeb543889ff364","datavalue":{"value":{"entity-type":"item","numeric-id":2729230,"id":"Q2729230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41fdbc95ba6ff02a66d4b511181853c9a5646eb2","datavalue":{"value":{"amount":"+0.7635301351547241","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":"Q1936232$9CFBD0F7-146D-49BA-A16C-C3CD8A46B6D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1936232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1936232"}}}}}