{"entities":{"Q2941142":{"pageid":2951862,"ns":120,"title":"Item:Q2941142","lastrevid":52332752,"modified":"2026-01-21T11:35:39Z","type":"item","id":"Q2941142","labels":{"en":{"language":"en","value":"Modeling quantitative aspects of concurrent systems using weighted Petri net transducers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6476311"}},"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":"Q2941142$E8DEA122-9FEE-4E98-AE0D-AC6AE707A1E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8051705e180826b0b87c69ef76efa67c290d419","datavalue":{"value":{"text":"Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2941142$4FEBAC5D-52F8-4886-8947-23514BDE33E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b702a782e34d4ee52266ac737d1da2ca8326c3b","datavalue":{"value":"1432.68313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941142$50A48C37-D3B2-42F6-87D8-0EB63A143685","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6c722362744fa2f9d8ac1a458e8b67473045b90","datavalue":{"value":"10.1007/978-3-319-19488-2_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941142$E973EDD1-471A-4A43-A4E0-82CCA40C80FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbd306ead84f2ec677888d19ec679e2183dd9389","datavalue":{"value":{"entity-type":"item","numeric-id":1006643,"id":"Q1006643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941142$EF3F5C1C-D8F3-4855-9883-756302B6C5AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f13fd0901135ebf0e2b5744f50cafda14949457e","datavalue":{"value":{"entity-type":"item","numeric-id":2822648,"id":"Q2822648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941142$FA80E331-CA4C-4B88-B1C8-516A6AC9E23B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5d7e575ce06abec1e01331d693d8d1b08ceff3b","datavalue":{"value":{"time":"+2015-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2941142$EB8FE039-0939-477B-890C-6DD5AC072A7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17348951416c03f82227457a7b9e32a7400f865e","datavalue":{"value":"https://opus.bibliothek.uni-augsburg.de/opus4/files/55410/55410.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2941142$FF9D55A8-6508-4AE0-BAD9-F301449C2AE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941142$D64EE8FF-3C1A-45DB-9A2E-EB29D1B133BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941142$19F89AC5-8638-4C33-9958-D4D5BE50C386","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2199bb5cac975ccd9b51943c09d941b2b1cd3c76","datavalue":{"value":"6476311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941142$ECB24FB3-D383-4043-B0F1-82F3FD7C9267","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941142$10F1E287-5F57-46D8-9290-BCDEADEDD085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e43cb39bf152a29cd0d904d8385943d1007061d","datavalue":{"value":"Petri net transducer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941142$5ECE7F78-6FA4-4CA8-B08C-A415DC5CAC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93cd33e68860638ca4e7b5720d168858ce6df7d","datavalue":{"value":"weighted transducer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941142$471B1366-EE6E-47A7-8362-44D0C4CC6925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aa6186095afde37514cf304062d651a364f7372","datavalue":{"value":"labelled partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941142$A000B139-BF71-4950-9243-034F337C1717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"888eb14a9caf75d6fe7f90ccbb2e8f346e238375","datavalue":{"value":"weighted labelled partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941142$791D4834-DD35-4091-A263-498EEFE16CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6170f290e57a28e5df58843b2c7d057ec35c8cfe","datavalue":{"value":"partial language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941142$67EE7957-D3DF-4AFC-AEBD-7FD49C16B828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007c72a86e8563e4101dd6986b20d2e71c9117fd","datavalue":{"value":"semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941142$545D6122-4BDC-4DB7-9439-EA69015B809E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dd0c197a7f934fe3e4c1384c661534871082a69","datavalue":{"value":"bi-semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941142$7955905D-8790-44EE-8901-6C127BEC1682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a19ed22a0b2018b7aa6ea5962392bc4b65f7b799","datavalue":{"value":"concurrent semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941142$74CA8705-77D4-46A5-8D4A-612B07F2CCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55a5cce85ff7dfb10f6a83a21a38e50b0e3454cd","datavalue":{"value":"cleanness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941142$8B84B9E1-55CA-4594-91C0-4B8D0AF8599C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"04c3c1a94028e7425617df35cf358d86a96f6b2f","datavalue":{"value":{"entity-type":"item","numeric-id":21459,"id":"Q21459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941142$F42EE8DB-22FC-4102-94FD-16F86EA0DC08","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":"Q2941142$08CF402D-DF71-42C6-B912-7B544AEFEEA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c24f3bf95ea8c21d4c6166a625b2a6e33db12c6b","datavalue":{"value":"W1189417022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941142$34023960-B00E-4E4C-AC4B-69B3EB2D8245","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1300aa24383f9ff32163c83c2e3b336c5e9c242","datavalue":{"value":{"entity-type":"item","numeric-id":3503890,"id":"Q3503890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941142$C6523CBB-1E36-48C5-BCC7-0A1ABF5FFF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1c26eb19363f0d01226bbcc19585d42b1b49e7","datavalue":{"value":{"entity-type":"item","numeric-id":4721639,"id":"Q4721639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941142$77E577CA-8D74-4B05-8092-7B4752B710D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e84e12a724dffc6a6632659a6528738342371be3","datavalue":{"value":{"entity-type":"item","numeric-id":5072542,"id":"Q5072542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941142$AA202C1E-D5EE-40F2-B79E-A11D90688ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989952aa1582438a5332ec0bd4cee56dab73a9d","datavalue":{"value":{"entity-type":"item","numeric-id":836989,"id":"Q836989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941142$DE937440-8090-4C49-B817-39A8428C50DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90a4628c56cfd6c1dbf92c186f29e2154e4f2b39","datavalue":{"value":{"entity-type":"item","numeric-id":5072552,"id":"Q5072552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941142$2A4B98EB-3EE9-463F-AD2C-4E4FF863B64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d63873ff56d26a39b5ac11c37f1f668bd6d4795","datavalue":{"value":{"entity-type":"item","numeric-id":5072551,"id":"Q5072551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941142$04F82343-D31E-4D99-B4FF-4D2F76AA5A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57a8ab0bcf71eb2d777c01d7b194ee5f97a12222","datavalue":{"value":{"entity-type":"item","numeric-id":4789075,"id":"Q4789075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941142$7E3B3A13-0150-496C-8800-0D15EC4260BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f92aa8ebfdf003df6851b5bd58431a096bef39","datavalue":{"value":{"entity-type":"item","numeric-id":1119012,"id":"Q1119012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941142$4D479BFA-803F-4EDB-B377-9F20CF17EE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbe416f33e820f85221303fb9f0b7a709727793","datavalue":{"value":{"entity-type":"item","numeric-id":3922196,"id":"Q3922196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941142$A41D7DFF-B7C8-4B61-8706-995E056579BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49d4053c16b8e88bf6141f457746ce76fcc1d1ef","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941142$09EC9826-AD7A-4019-B3D1-0025E02BF4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af50059e8e1b6fd884ee17d2bf5d3eea2af941ff","datavalue":{"value":{"entity-type":"item","numeric-id":4023496,"id":"Q4023496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941142$62118A21-7AF2-46C4-BE00-A1A2A244BE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db424bba14516d2e9893c37deab51a9b9dad66ae","datavalue":{"value":{"entity-type":"item","numeric-id":703495,"id":"Q703495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941142$C5857069-C9C4-4DBD-921D-0D6B6DBF16C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8048da4d2c88f83b4873d850c4c3e15a8b4481e8","datavalue":{"value":{"entity-type":"item","numeric-id":4924452,"id":"Q4924452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941142$4EB60508-BBED-4355-A5DA-815C04ECA5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4353eb371bcaf5d0484ce636a83c317a4da9a827","datavalue":{"value":{"entity-type":"item","numeric-id":5166767,"id":"Q5166767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941142$B4795E93-E61D-49C8-8938-3F2421E15ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced1ca6d3091fee8f0501be4a496153b516599f1","datavalue":{"value":{"entity-type":"item","numeric-id":5072548,"id":"Q5072548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941142$F4E8E448-1CE9-4262-A57B-618B263A013F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941142$36267968-94D4-449F-B4EB-FDA55474D560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b93347844b58ed0c02d923d0992858fa5eb3427","datavalue":{"value":{"entity-type":"item","numeric-id":6038433,"id":"Q6038433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941142$E8AE5F55-3DE1-4D30-8897-973D9346F5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f1b4cdeb41ca0f1e7de107628b255b62dbe8653","datavalue":{"value":{"entity-type":"item","numeric-id":3805924,"id":"Q3805924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941142$A8A29C60-7324-408A-BF07-CE70A167EB64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5bba9d659c9ccadd17578791bde71d69f4d7e9f","datavalue":{"value":{"entity-type":"item","numeric-id":5166767,"id":"Q5166767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0af2036103d95794109569c6a1947a3594c63f0b","datavalue":{"value":{"amount":"+0.9162783026695251","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":"Q2941142$86D27AE4-C36C-4B81-A776-F2947F706E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"641e5296fdd00a452b52fb2cd7058ded96a30856","datavalue":{"value":{"entity-type":"item","numeric-id":3814822,"id":"Q3814822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f3143955a5f5d44acb2e8938501e866ef4fa918","datavalue":{"value":{"amount":"+0.7997694611549377","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":"Q2941142$38BF8125-3CE9-4A4B-BD27-6C25622BAE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac0a6347f951995b40526417c1a9c4ad2dad27a0","datavalue":{"value":{"entity-type":"item","numeric-id":3126181,"id":"Q3126181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c842b5785a065f469e2dcde2fbdffb3a9e3b0a2","datavalue":{"value":{"amount":"+0.7365348935127258","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":"Q2941142$6AFF8CE2-9AD7-4321-846C-849104458C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb8e3498d6fbcc9dda2f6fd6a28878a86b6bb3a1","datavalue":{"value":{"entity-type":"item","numeric-id":3031942,"id":"Q3031942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41ac76053f35ff8da444a794dac1244213a7beee","datavalue":{"value":{"amount":"+0.7143754959106445","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":"Q2941142$357F9394-6626-4021-97E1-966E325CFD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4abdda7425ff3a43cb4001d34bd96fb1ad36371b","datavalue":{"value":{"entity-type":"item","numeric-id":4763577,"id":"Q4763577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b357493f7a5904df7049d7b5ceacaf4a70b51dd","datavalue":{"value":{"amount":"+0.7142780423164368","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":"Q2941142$89F08915-FC24-440E-979A-99F1F99759B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2941142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2941142"}}}}}