{"entities":{"Q315291":{"pageid":317058,"ns":120,"title":"Item:Q315291","lastrevid":60935760,"modified":"2026-04-10T20:05:35Z","type":"item","id":"Q315291","labels":{"en":{"language":"en","value":"Model checking Petri nets with names using data-centric dynamic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6628710"}},"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":"Q315291$E3B5F060-72EE-493F-9BEF-A01570F9D85E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85676706ebc101fd4046f2f6e641e7cdc6d06203","datavalue":{"value":{"text":"Model checking Petri nets with names using data-centric dynamic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q315291$15BAE4C5-85EC-4CAF-B8DE-DEEF36E61D91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6957f4a9ed319b27adc04c208cfd968d4e411f96","datavalue":{"value":"1345.68236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315291$D22D9F6E-A6E9-4D5B-8924-79DE0115B561","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2438f2b6b194cb9371720fd634318f5f271f2f6","datavalue":{"value":{"entity-type":"item","numeric-id":315289,"id":"Q315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$CC800429-613A-4F91-A37C-81F634D13A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7c988d408bf138e2413f5a41fd60fbd13418b8d","datavalue":{"value":{"entity-type":"item","numeric-id":315290,"id":"Q315290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$4336528B-EC6D-41FC-898F-C320C333B941","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":"Q315291$B6F7ED73-0E41-421E-B139-75D3D9D55CD5","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":"Q315291$DD7EF622-2826-47D5-AC38-DF5E52AE149D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315291$AC08F61F-E5C8-42C5-B4C4-E496124D4F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315291$F38F2736-E659-406B-853F-223AF1C7B8E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f9a41451fd608ecd3e4afa07b9361eef1b017ed","datavalue":{"value":"6628710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315291$1F1DE0B5-7E77-4BA9-9F2D-BE4D3435A36B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q315291$E4FAA06E-C64D-4167-AD86-5A5FA0C52B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0fe7ecc6bac203038c90ab41de60ccb87902868","datavalue":{"value":"Petri nets with names","type":"string"},"datatype":"string"},"type":"statement","id":"Q315291$20E62D53-FCF2-481C-8AB1-A04F4A441C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33091d86905202af08d9012d6e5fba9f5ed72f62","datavalue":{"value":"infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q315291$E1542E70-F810-4599-8ADB-ABAA19BA6C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0e8135f8bdca5eefac22d7a1ef8887860103e6","datavalue":{"value":"first-order temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q315291$58F7384F-2C19-429B-93A5-EA477267E64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53e53bb9b3858e8eb75a2cd4377bd4607885fe8d","datavalue":{"value":"data-aware business processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q315291$6EF6AC0B-37DA-4BA6-8950-C177ED6A7ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e58d4bc8bd445250fd28c0c38764ef333e52129f","datavalue":{"value":"resource-aware business processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q315291$1D575BED-C20F-4BFF-A769-ED2A5F5C80FC","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":"Q315291$2E3A8223-A1EC-41B4-9AC2-9158B8B5F758","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"beab4ef7240ef5e912163a2178ecfec19365b4a4","datavalue":{"value":"https://doi.org/10.1007/s00165-016-0370-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q315291$688B0F2E-C2D3-4963-B850-159617785E5E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ba67489052a4516ddedbe79fccf5f295d78dce5","datavalue":{"value":"W2337896169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315291$9D9F2148-9C72-45DE-A70E-670D35A88309","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e69a874780135d148ba407ae91f82f890b7b84a2","datavalue":{"value":"Q62044490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315291$CC0B1FC2-6620-43E8-B949-50E242D48EFE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ffe6072cc3030b80a29127aa24cebf45f16c5d4","datavalue":{"value":{"entity-type":"item","numeric-id":6044108,"id":"Q6044108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$771482A7-9C58-4CAA-8568-626ECA5FDAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b35117a5e4f0b871215e34ddc1ee7cef53cae0ad","datavalue":{"value":{"entity-type":"item","numeric-id":2942888,"id":"Q2942888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$6E7FE060-518C-475B-9F36-7E0B9A347C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f35d7585c8f8df12c7d463aff61a71557be15cb7","datavalue":{"value":{"entity-type":"item","numeric-id":3601861,"id":"Q3601861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$078674D8-6795-43EA-B88C-A0A5EA5AC443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02cdae4996301c693db2855b30984eba101afb58","datavalue":{"value":{"entity-type":"item","numeric-id":4917617,"id":"Q4917617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$570C44BD-FD12-4CAD-BC7C-6E10A7D66F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f22378a7127aa087e70353b482e052acd1cbc256","datavalue":{"value":{"entity-type":"item","numeric-id":2925412,"id":"Q2925412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$51F129AA-CB43-4779-ADC1-1E35053700F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307170eb147cd97a2f90e9938a0a1cae6f1cfddd","datavalue":{"value":{"entity-type":"item","numeric-id":1706163,"id":"Q1706163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$B64EF966-7FC3-4CBF-A013-530D46F2DC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55d8e9e513e18f865fb488ac9b15306f0f42c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1151060,"id":"Q1151060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$65B446B2-5F94-49FC-9613-66E78967F5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047bc882d867386c2b2790ce0f9a6c1ca430f276","datavalue":{"value":{"entity-type":"item","numeric-id":5480657,"id":"Q5480657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$D94910D9-B79A-4C25-A9F9-EC7FEAA0DC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c243869ba0963401792b9d55bbba80b8cb068d1","datavalue":{"value":{"entity-type":"item","numeric-id":4353562,"id":"Q4353562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$0AE95AF4-9103-4A34-8D02-499250D966AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf2959e81c9ee6b1943e08246fc0acf92931e7b","datavalue":{"value":{"entity-type":"item","numeric-id":4954445,"id":"Q4954445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$D7A4B2B5-CAC5-4C80-9844-E1F7F31D9328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$AA51C080-B8B8-450A-A4DF-E9C73BE22750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfc6be74f999af63f0b57c03ec6e520e223b29b","datavalue":{"value":{"entity-type":"item","numeric-id":2842106,"id":"Q2842106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$2970392D-AD6C-4471-BFE5-3558E8AA9B6F","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":"Q315291$93F68F0D-AA52-4B1D-A965-8F38D81B7F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32d9d47ccdd83adfd8575188118affeadf7b27e9","datavalue":{"value":{"entity-type":"item","numeric-id":5712334,"id":"Q5712334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$8B3E55F9-EA61-4168-9F5F-BB99BCBABCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$D3CE1347-6905-4F53-839D-A7F6F16E8619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb5e38f8d34b0707793bf5b5a22f18637c5b6af7","datavalue":{"value":{"entity-type":"item","numeric-id":2908202,"id":"Q2908202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$6D1CE8A0-6732-4E5F-8946-6A330A87EECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6729753e9d4613f8324511772f548d568ea579a3","datavalue":{"value":{"entity-type":"item","numeric-id":1146521,"id":"Q1146521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$ADBC2973-E1F6-4726-A44A-C1C5B354FD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d3f1ca7245db78f2e0e2c3e3e3ff67547573345","datavalue":{"value":{"entity-type":"item","numeric-id":4911790,"id":"Q4911790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$44C291CD-A07E-441A-ADAC-9B222AB8E782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de9ba96c95e8135edfe20aebefa5872c031ebee9","datavalue":{"value":{"entity-type":"item","numeric-id":3601864,"id":"Q3601864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$6AFD44E2-9225-47BD-A252-7011190C0000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca91dc6ee5405ef4a82c9d8712578cb11cdffde0","datavalue":{"value":{"entity-type":"item","numeric-id":554219,"id":"Q554219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$3DA0D341-02ED-4A63-9448-8BD55A0A3E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a462da4106d35fe4fb6d71588f29f615c1fae435","datavalue":{"value":{"entity-type":"item","numeric-id":5316588,"id":"Q5316588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$4985C071-592A-4033-9DC4-268110E6723D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63c4072404ed32df1039f2cea5da48d4300e352","datavalue":{"value":{"entity-type":"item","numeric-id":5392873,"id":"Q5392873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$E889FDBF-F12E-4BE5-B6C0-CC8FA6887AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb8b020e4d3f5bacacd5f3a7479d3cd33ad53be4","datavalue":{"value":{"entity-type":"item","numeric-id":539433,"id":"Q539433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$576B9B66-2216-47D2-80B3-E7F241192B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4891d24a57b8332c6d4a94a972ea02c5f5ccac","datavalue":{"value":{"entity-type":"item","numeric-id":5713505,"id":"Q5713505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$0B03810B-C716-49EC-8292-44E228117947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d39787c4efba6c258dae2392ac21df74fcdea6e","datavalue":{"value":{"entity-type":"item","numeric-id":3011887,"id":"Q3011887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315291$E341DA5B-5740-419D-821E-57DB6D9A0FF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29b1776c74df67be63103b46772d6f1e9b293dc7","datavalue":{"value":"10.1007/S00165-016-0370-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315291$977D9315-37C2-4D3E-9FBA-23ADDA909B17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4295ea0a437d062e570db60fd190030901697e8","datavalue":{"value":{"entity-type":"item","numeric-id":554219,"id":"Q554219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b02e83875354c0346da565bbc724f5ea0055e99d","datavalue":{"value":{"amount":"+0.8177413940429688","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":"Q315291$8175AA97-6E15-4BE1-BAE4-9541EC93FD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2239f6b2ec9fc12eaa800233849a510c016c3320","datavalue":{"value":{"entity-type":"item","numeric-id":2941152,"id":"Q2941152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a635b87d146ce3f5ac0733eb14ca71e61b30da1","datavalue":{"value":{"amount":"+0.7961601614952087","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":"Q315291$82F4B5CE-E023-405D-BA0A-5DCF4911985D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617f6c0dcb91397eda62325b1afa3c66a092983f","datavalue":{"value":{"entity-type":"item","numeric-id":3225720,"id":"Q3225720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c4e01cb2d56c099ea71a7d20770bd7ad93a5d1c","datavalue":{"value":{"amount":"+0.7808352112770081","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":"Q315291$2BE777B2-7DFB-4F6B-8B80-BCDF78A86A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb67892c0dc3235988d2ac9398865ff14cfde6a0","datavalue":{"value":{"entity-type":"item","numeric-id":4635904,"id":"Q4635904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d8f9c6bcf961fc2a0cdc9bb0dd5794bd36ffd9a","datavalue":{"value":{"amount":"+0.7792071104049683","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":"Q315291$4789CBB8-3631-44FE-A614-9A0F2F538E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de6bc7e4746f0273edeb41b3853c35a01ecea0a","datavalue":{"value":{"entity-type":"item","numeric-id":3084987,"id":"Q3084987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"224d5435721931818d7a20c3bf890f2946e53e55","datavalue":{"value":{"amount":"+0.7791643142700195","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":"Q315291$7272DBBF-B715-46C2-8046-0A94B429089B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking Petri nets with names using data-centric dynamic systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_Petri_nets_with_names_using_data-centric_dynamic_systems"}}}}}