{"entities":{"Q315307":{"pageid":317074,"ns":120,"title":"Item:Q315307","lastrevid":60935904,"modified":"2026-04-10T20:05:37Z","type":"item","id":"Q315307","labels":{"en":{"language":"en","value":"Formalising concurrent UML state machines using coloured Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6628717"}},"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":"Q315307$74CAC27B-56E3-4669-9BA4-C8C3ED3BF668","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e467284115539fbad755b870bc1bd46a92f8840","datavalue":{"value":{"text":"Formalising concurrent UML state machines using coloured Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q315307$3E9F7095-540D-4B19-A31F-2B7CFBBACD10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"480c80001ed74d3cf15fe14aa5793a4cfc827753","datavalue":{"value":"1345.68226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315307$5CCFEA1A-40BB-4C12-80ED-DB16C48D68E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5474941530a831b2b2da197492290557d39bddf","datavalue":{"value":{"entity-type":"item","numeric-id":315304,"id":"Q315304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315307$9B1F8C53-3E7B-4033-94C7-02DAF14FD28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2910e8358cdedc3ac87b883d1584b7b6ed87738e","datavalue":{"value":{"entity-type":"item","numeric-id":315305,"id":"Q315305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315307$C3955FE8-E1CA-4FF3-BA7E-16B639044CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0780c10b7b2f39c3a70c06dcbfe7b2d4edd10320","datavalue":{"value":{"entity-type":"item","numeric-id":315306,"id":"Q315306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315307$2493E6B2-7A27-4C9A-A84D-A2DEE6526563","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315307$F04D18A6-BA09-43C4-BD51-21AD9E7D19E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbba08bda189fa94872c99bc6572a2cbb863f372","datavalue":{"value":{"time":"+2016-09-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":"Q315307$AD952CFF-AC60-4D40-85E3-3D74358C5A3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315307$12404FF2-8502-42F1-B3AF-766F577F5B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315307$60B7B91A-30CA-4BB8-B9E3-E4BCA5A6A9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315307$274FD85D-BF6A-4586-947E-8BC2786504CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315307$67C0A7EE-DCE5-4FF2-B4EC-5C2884CA9D87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcdb9338770155b37bf95d6f255c722ca75948a9","datavalue":{"value":"6628717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315307$9CA9604D-B080-460D-B0DA-404631CF850B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9778e1c50ad040fdbd47bced21cb9b0823eb5ce","datavalue":{"value":"modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q315307$9B836A73-90A6-4BA3-8E5A-9406AB0A61F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce2262facddf8067e8c88e20815c55a0cf2bcf58","datavalue":{"value":"state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q315307$13BBF37C-6333-49A4-BBA0-4406B0E91F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc0dc7c05f75a6364f0dcd54ee6aed1a8932214","datavalue":{"value":"formalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q315307$F82FBB6C-E935-4892-9E1F-D1DAA70D2837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q315307$20EAE1F3-BEA1-46F6-A038-82B75DD141FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b7c826a5780d22d9a174de51c3a633554aea0a5","datavalue":{"value":"coloured Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q315307$5EB4F15B-77E8-4B53-90FA-A2DF56C7CD23","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3a1572f0a44ee197002995941ef26c7ad2c25d8e","datavalue":{"value":{"entity-type":"item","numeric-id":33626,"id":"Q33626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315307$34B0456A-C033-415E-8C5E-862FA5A51235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7797d1b387b80856fd16dfdaf70012ba754b5715","datavalue":{"value":{"entity-type":"item","numeric-id":28710,"id":"Q28710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315307$E24837A7-977B-4024-BEED-EDD9FE3F7D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"746d9e55d4e8a97c2b07f745dc060ac8f481dfb0","datavalue":{"value":{"entity-type":"item","numeric-id":15812,"id":"Q15812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315307$00460FEE-47BF-40DF-A945-8F8457F000BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315307$A275FF92-FCE3-486F-AB40-35009C17E1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315307$ED838CA4-9F5E-4D0B-AFD9-79C0D729E148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"edb9350a99d741bad75dd4840fa0f295c872eede","datavalue":{"value":{"entity-type":"item","numeric-id":13560,"id":"Q13560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315307$5F9F9450-A982-4F6A-A42A-A6EE66426921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bde88779cb6e7d8c59bbc11141f6f12a921e132b","datavalue":{"value":{"entity-type":"item","numeric-id":25173,"id":"Q25173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315307$657E54D5-A563-4711-A25F-5ED537AD9FC2","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":"Q315307$E70F45B3-3654-4535-9272-4343EAC82569","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77e973858ff2dd6ec5958ec630706a4826bf77ad","datavalue":{"value":"https://doi.org/10.1007/s00165-016-0388-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q315307$F9FDAE60-4AF5-43A1-A824-1D5CE8E4298E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf94a750bb58c1e5dc9d24707185c66001a26d8f","datavalue":{"value":"W2507213574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315307$8048F9D7-2016-4EE1-8099-5ED52816B1AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9299438e5feeb13c658880faa6316804c8967d0","datavalue":{"value":{"entity-type":"item","numeric-id":315307,"id":"Q315307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315307$98022372-3D8B-40C1-A8EE-5A02E77F9F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315307$1433AEFC-EE77-462B-A73D-6F30C0D136CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb33ae94a6320047d1aedadb481cd57348d4147","datavalue":{"value":{"entity-type":"item","numeric-id":1858428,"id":"Q1858428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315307$EC739C54-4DF6-42C9-B7DD-3F733B1311A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2a281ae079da887794bde18b217424803a1078","datavalue":{"value":{"entity-type":"item","numeric-id":2761718,"id":"Q2761718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315307$69E31750-F320-43C4-B11C-5CE4902DC0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed5d835a91e5f8b780c1597601ff74c03afb28a8","datavalue":{"value":{"entity-type":"item","numeric-id":1578397,"id":"Q1578397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315307$1C0FAEF4-1222-4EA7-A507-96B9178DB790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a99f310947f3fc6d764435e871fb3790fd14d9d","datavalue":{"value":{"entity-type":"item","numeric-id":3617245,"id":"Q3617245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315307$CBEF328E-7E57-4442-AF0D-3619A9CF4C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2eca8222b6ee4cf2f834e22b9f57835fb1bb56","datavalue":{"value":{"entity-type":"item","numeric-id":4929342,"id":"Q4929342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315307$42A4FE09-3A4D-4CD2-9744-42413BAB4C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"329fd985920cbe9d6a6364461c6861defd0c31fa","datavalue":{"value":{"entity-type":"item","numeric-id":1853596,"id":"Q1853596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315307$B0A772A3-25EA-446A-926A-4048102C2368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b85323f68ac3e1d14c8245c3fc10b0679cbf34f9","datavalue":{"value":{"entity-type":"item","numeric-id":4412508,"id":"Q4412508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315307$234E8520-6379-4E6C-8DF6-7F9F168C0AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099d49f3af00b22750b59b014bd94b6d973d357b","datavalue":{"value":{"entity-type":"item","numeric-id":5096749,"id":"Q5096749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315307$6A8C5314-50ED-4F18-B5FF-E76FD65DBB3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddabc5c0e4d91e358d54c00132dcd52444889066","datavalue":{"value":"10.1007/S00165-016-0388-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315307$5140E44C-5FF9-443B-B9FB-8D74FD0D37B7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f13d1d64194425943415fbb198b80b055c3fa104","datavalue":{"value":"Q130976531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315307$F9577605-7F27-4FDC-8088-533EF93676D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb23b52cda45d1bbdf7595c9abd3faa83eaddbfe","datavalue":{"value":{"entity-type":"item","numeric-id":5479147,"id":"Q5479147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5beb44fb16b9ebad04f396c1627d7db21037815d","datavalue":{"value":{"amount":"+0.792678713798523","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":"Q315307$4B9E79A1-F954-4CEF-96DE-37E3779D22EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5e6c30606cef52f2e3c210cf70f29eb20e3d5ba","datavalue":{"value":{"entity-type":"item","numeric-id":2761718,"id":"Q2761718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f5af6d71e32728375d062f466cd92b2f8f97c8","datavalue":{"value":{"amount":"+0.768608570098877","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":"Q315307$4C67434C-B0CE-4CC5-B477-0A044CAAA441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d68cc0e1dd25fde533ef5a36b3c5119a4a5a3075","datavalue":{"value":{"entity-type":"item","numeric-id":4438797,"id":"Q4438797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f5af6d71e32728375d062f466cd92b2f8f97c8","datavalue":{"value":{"amount":"+0.768608570098877","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":"Q315307$913663B0-F655-4E79-A981-5B24B0B35FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8b84dc3b89dacf292c170f136e9d091402cdbe6","datavalue":{"value":{"entity-type":"item","numeric-id":2515336,"id":"Q2515336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca0ce3446386df93cbe0a146f3b2a0a8578b1990","datavalue":{"value":{"amount":"+0.7651062607765198","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":"Q315307$BB572210-0F66-47D3-A406-B9A2A996E89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b7fe4654ae54c99c6fab23d582c928c3c7d2d82","datavalue":{"value":{"entity-type":"item","numeric-id":4812229,"id":"Q4812229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704e1f68550b55b356f4db91ef8d7d1534c8eace","datavalue":{"value":{"amount":"+0.7606550455093384","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":"Q315307$E5EB495E-D6C0-4C9D-B1BE-B6DD57736C11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalising concurrent UML state machines using coloured Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalising_concurrent_UML_state_machines_using_coloured_Petri_nets"}}}}}