{"entities":{"Q2163769":{"pageid":2174512,"ns":120,"title":"Item:Q2163769","lastrevid":54380702,"modified":"2026-01-26T17:51:19Z","type":"item","id":"Q2163769","labels":{"en":{"language":"en","value":"Property-preserving transformations of elementary net systems based on morphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7570788"}},"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":"Q2163769$026E8293-C340-458B-919A-20895718BFCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c664b7ac09f5a4326d41441175fcbc82b40f386","datavalue":{"value":{"text":"Property-preserving transformations of elementary net systems based on morphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2163769$8C2F288B-7678-4915-AF7E-87C0082CB340","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8363e34a4176d4fbe9f9dba5f9298b5e70243266","datavalue":{"value":"10.1007/978-3-662-65303-6_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163769$6972F428-42BD-41A8-B15C-9ED8C6FD61E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f886e76b72f69f48c0aeda0366ae3d6bc952beb4","datavalue":{"value":{"entity-type":"item","numeric-id":897108,"id":"Q897108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163769$5EDC18C5-C744-475D-8154-1F6622C61153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1339b4bece9ecced7d02d74c396ef2b98efeadea","datavalue":{"value":{"entity-type":"item","numeric-id":2163768,"id":"Q2163768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163769$177E2EEA-99B1-4FD2-B2A0-2E3C84275A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2d829d824ed70343c559cb50bf84ee0dc6d28e6","datavalue":{"value":{"entity-type":"item","numeric-id":1662537,"id":"Q1662537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163769$C2D8C7CD-33E7-4BA2-BC2A-DACC24F51B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"debfedf6f4657203170842670e6619e00f5b8d60","datavalue":{"value":{"entity-type":"item","numeric-id":1662524,"id":"Q1662524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163769$3BFF748B-809C-416B-BF75-6169735F09E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fd1acb8904e12f62d9f3ab24cc05cd2904bb26f","datavalue":{"value":{"time":"+2022-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2163769$2E9CC6A3-B694-40EC-B2FB-49A94A0CB46A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"de55c378aba28f19a4afae53f9e5b7276b5f625c","datavalue":{"value":"The main purpose of this paper is to define a set of local abstraction/refinement transformations for elementary net  (EN) systems. A local transformation acts only on a specific subnet, while the rest of the EN system remains unchanged. The authors consider EN systems with labelled transitions, where labels specify interactions with the environment. Transformation rules are presented preserving labelled transitions, while unlabelled transitions are reduced. As a result of applying these transformations, an initial EN system and a transformed EN system are related by an alpha-morphism, and their reachable markings and, especially, deadlocks are preserved. Interestingly enough, it is also shown that simple Petri net transformations, introduced earlier in the literature, also yield corresponding alpha-morphisms. In addition, the authors provide two cases of applying transformations defined in the study.  For the entire collection see [Zbl 1492.68020].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163769$216F5201-6F02-4CFC-B3BF-87DA0C1C1930","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163769$5D7A687E-4F8C-4688-9495-5C264BC481B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95fc414dd3cc738f53d88a4a869d04297bfad7d5","datavalue":{"value":"7570788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163769$C4658019-D0AE-43C2-AFFD-2384BC5A6604","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163769$663130D8-037D-4A37-B707-F5830D81E756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dca5b755a3b33e79b67a683448b6bb0d1d64360","datavalue":{"value":"transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163769$D7B33B4B-B174-4FD9-B924-F853B2D0F795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163769$4FED5E7C-A3BE-4CCF-86B6-C70A0B2D9647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163769$85DBDCB9-57CF-4227-933F-C92C8D7B6824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1882188eb80fe012ede7a0d776ab43fc8c6370d3","datavalue":{"value":"morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163769$54CC31C6-5CA9-4D37-A83A-12A1EE6F8DE3","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":"Q2163769$FBDF082B-B074-430D-9E54-9A13ACFAC038","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f47d10083dcc7ccb668daa54186a7924077a67df","datavalue":{"value":"https://doi.org/10.1007/978-3-662-65303-6_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2163769$35C2BCF3-6360-4C6A-A9EA-4CF51BB07E93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5d042c4abf7cc1a1c530903882ab0af4038008e","datavalue":{"value":"W3049635081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163769$E1ED8854-6889-4E60-884E-64675DF677D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ae6d1b0f12f371db8fca233362866e51ae2ad2","datavalue":{"value":{"entity-type":"item","numeric-id":2849441,"id":"Q2849441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163769$988AD7A6-694F-49D1-ACB9-AF85256AB4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59396f340e547b01222c9feee0a8658035251f7c","datavalue":{"value":{"entity-type":"item","numeric-id":3745291,"id":"Q3745291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163769$C6466C73-2005-4D0E-83CD-56CAD43DB0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac6ca12e47fbf29bdb62fcfb98bf1d225f2c324","datavalue":{"value":{"entity-type":"item","numeric-id":4145285,"id":"Q4145285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163769$DB7AC745-334D-4F45-A563-D2501BFA2DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c72bbf690773be77ebaa01bcbff4d897ac1738ea","datavalue":{"value":{"entity-type":"item","numeric-id":3066130,"id":"Q3066130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163769$7022D674-E968-4270-8384-BB12797FF5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a30887722c6fbbbb2aca77e0526c9dd38603b086","datavalue":{"value":{"entity-type":"item","numeric-id":799113,"id":"Q799113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163769$E397F216-6F74-4083-829D-88F9ED88456A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9bb2e453d67651ba57cb00b407de1706e7967c","datavalue":{"value":{"entity-type":"item","numeric-id":1662525,"id":"Q1662525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163769$ABBDFD9C-1443-4DF2-A628-C55CE2375409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81b4f7becbf698a8ab3e25ac05450f080c64a02c","datavalue":{"value":{"entity-type":"item","numeric-id":1052100,"id":"Q1052100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163769$63C750D1-6091-4B68-8B41-ABACBEA3DB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d809b7eaaa3d56d487e054f3ebab40ac8d962a30","datavalue":{"value":{"entity-type":"item","numeric-id":672873,"id":"Q672873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163769$CCBF4710-C396-4D00-99BC-1D129D4265EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f5cb6b634ace110a5d4e5c3b5dda6c35faf188","datavalue":{"value":{"entity-type":"item","numeric-id":5392161,"id":"Q5392161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163769$DD24E5A1-5ABD-464B-81A3-542B09748B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd76057ad4675f26b4e6b789c595d9616f043735","datavalue":{"value":{"entity-type":"item","numeric-id":4247285,"id":"Q4247285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163769$BBEA6905-7EA1-44C8-A2DF-7FF1FC10068D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639e5e385f6eecc963f6845cd6b62fa29e92ef43","datavalue":{"value":{"entity-type":"item","numeric-id":2766577,"id":"Q2766577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163769$19D83038-5841-4279-8C0F-D2F033D3AD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58fc185177e28d994f8be6138e0d39e30fa75870","datavalue":{"value":{"entity-type":"item","numeric-id":1255320,"id":"Q1255320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163769$F6AD458D-2D95-471F-A740-B1B4A389CC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"561af13c87e50291ff68f61fc96790f93d6204d9","datavalue":{"value":{"entity-type":"item","numeric-id":1091145,"id":"Q1091145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163769$B8955CB4-0ABF-41A0-B375-B0225B748AF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52a671b133499041eb227bb0b30e743232f674d","datavalue":{"value":{"entity-type":"item","numeric-id":2849441,"id":"Q2849441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a92ea9c0e3006e7a2a91388d4e6ff908bb695e4","datavalue":{"value":{"amount":"+0.8101679682731628","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":"Q2163769$53265EE8-35F4-4D0F-8268-8A938ACC25A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd52a09bd267be44e00cc87c194830cbcc007071","datavalue":{"value":{"entity-type":"item","numeric-id":3683540,"id":"Q3683540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c53a5f53d415f99268fd96de8123e3d4b137ff4","datavalue":{"value":{"amount":"+0.7979382276535034","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":"Q2163769$A0BDF1D0-30DE-4429-B363-091DA9A95354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"689b4a6c423b12b9bff6e821989c86d20ed7040d","datavalue":{"value":{"entity-type":"item","numeric-id":1190485,"id":"Q1190485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72921cb597bd86f54f7e4f0b79aecf40674a0eeb","datavalue":{"value":{"amount":"+0.7946317791938782","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":"Q2163769$4ABDF2A1-534C-4B9E-9168-819F996DC96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27a62667f0ffe4c15add803a3a19064fee124553","datavalue":{"value":{"entity-type":"item","numeric-id":5392170,"id":"Q5392170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72921cb597bd86f54f7e4f0b79aecf40674a0eeb","datavalue":{"value":{"amount":"+0.7946317791938782","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":"Q2163769$93CC1174-3ED4-4B1C-A0E9-316F46539686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"891a3ce27168c1d8e233eeebd58eaf82804e2264","datavalue":{"value":{"entity-type":"item","numeric-id":5479839,"id":"Q5479839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d90cd1a49fc8fbf06ca6f7f4d08d4abd881ede8","datavalue":{"value":{"amount":"+0.7943036556243896","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":"Q2163769$11A1B9DF-14E8-4918-895D-5EF02A574A0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2163769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2163769"}}}}}