{"entities":{"Q897109":{"pageid":898957,"ns":120,"title":"Item:Q897109","lastrevid":65173860,"modified":"2026-04-12T00:48:26Z","type":"item","id":"Q897109","labels":{"en":{"language":"en","value":"Petri net synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521525"}},"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":"Q897109$D4F3A125-BA1E-4C0B-98E4-5DB8C10769F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"020a6720aebc8f4576936c84eca707f24bf9a747","datavalue":{"value":{"text":"Petri net synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q897109$17E363FE-F254-4130-9F1A-2AAD08F74D4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d20fa339b12eb4f9fbfd04be8d1bbfed9ad872d","datavalue":{"value":"1351.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897109$1795218F-7EB8-4560-BD65-C523E69AE270","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24403c638f64bcb5e009dc3b2621882259629837","datavalue":{"value":"10.1007/978-3-662-47967-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897109$C44FAE19-2A9E-43A4-AB73-77CB13C0CC52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"676bf375f547cb28c0bec5be0d58668c6af73045","datavalue":{"value":{"entity-type":"item","numeric-id":805245,"id":"Q805245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897109$6E00E60C-B8FD-4FEF-8D24-FD92AC23816E","rank":"normal"},{"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":"Q897109$78CD9E87-3CDB-4F07-8C51-F842C0BA5DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"271829170669ce43b1b4f10856578a74e1f3e05f","datavalue":{"value":{"entity-type":"item","numeric-id":557785,"id":"Q557785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897109$4596C689-0FAB-44B2-9C46-EE4FBEC134CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f0a2acff5007574f811cbeec1fb72101c4611a9","datavalue":{"value":{"entity-type":"item","numeric-id":161384,"id":"Q161384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897109$4C74928E-4998-4304-A1BF-9431084F6CBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e013a44c21c8d81b62ddca778986a891685109e8","datavalue":{"value":{"time":"+2015-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q897109$D2B3A100-FAAF-4E1A-96A3-15F309190781","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"953283e772c463b9c9be804dc0a7223de3e46ed6","datavalue":{"value":"https://hal.inria.fr/hal-01237142/file/Badouel_Petri%20Net%20Synthesis_Front%20matter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q897109$759B31F3-B164-4CEA-9987-9065528D657D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0746228c7a3314024a94caff4f93dce4ea6f97b6","datavalue":{"value":"Petri net synthesis can be viewed as a transformation of a behavioral model into a structural description of a concurrent system in terms of a Petri net.   Its origin was presented by \\textit{A. Ehrenfeucht} and \\textit{G. Rozenberg} [Acta Inf. 27, No. 4, 315--342 (1990; Zbl 0696.68082); ibid. 27, No. 4, 343--368 (1990; Zbl 0696.68083)]. They defined the notion of a region of a transition system and showed how to use them to synthesize elementary net systems from transition systems. Since then, the notions have been extended, generalized and adapted to different classes of Petri nets and to different initial specifications other than transition systems, such as finite or infinite languages over the alphabet of potential transitions of a Petri net.   This book provides an impressive in-depth account of a wide range of the results and techniques for Petri net synthesis. It covers both theory and algorithms and provides a good insight into applications. It is valuable for novices as well as for researchers as a rich and reliable reference as well as a source of relevant research problems.   All three authors made fundamental contributions to this research area. Sadly, Phillippe Darondeau passed away before the book was completed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q897109$092D727C-8892-42F2-8EFF-2E4D8DE73C46","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"278cb718fa512f840b9c5522dfe38ff5e946abf8","datavalue":{"value":{"entity-type":"item","numeric-id":589393,"id":"Q589393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897109$F50C116A-53A4-4805-8D99-0F7FCF2B72A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897109$AAF8FA2A-C92B-478E-B7BD-3336A6EF16F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897109$771216DB-77D7-4BE0-A72A-BDADA7F36A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897109$BF558B6A-514D-434C-8BB6-540FA8CEFA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897109$A87E3172-48CA-43B7-9D30-37A1B606F62C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"262e083420975b822259cf5b0ba7c084ef9339aa","datavalue":{"value":"6521525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897109$F38FFE96-FA61-45B1-9DAC-B17949250C2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f33f440cdfa26f5a894f894301fceda268bd6bf2","datavalue":{"value":"Petri net synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q897109$7F2DF4AE-12E7-4EB1-A86D-E415832DC843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0496e14ea47d79670f9025f8ea9b3940dac2cc86","datavalue":{"value":"region theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q897109$269213CF-AF9C-44E2-BB64-83ED6A5E54DD","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":"Q897109$F1B5FB6B-F539-4FAB-836D-5F6A299A72E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f46e494bc2f301d40a209f093e49440b4256d29b","datavalue":{"value":"W4205176208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897109$283D90F2-8146-4D8F-AA9F-B3179BFD917D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5dc4207ab2a31f000f2410c039e98ad5eb3ac54","datavalue":{"value":{"entity-type":"item","numeric-id":4924451,"id":"Q4924451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8986b925ac4c3329d1ebc3fb64282ac60e662160","datavalue":{"value":{"amount":"+0.8540002703666687","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":"Q897109$A8E298CC-72E8-4263-B55F-1363B47B9AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a00f55fa62d86e7759052a22b6ca774d1243fa","datavalue":{"value":{"entity-type":"item","numeric-id":1901703,"id":"Q1901703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b643e128a4ce39c29997896c328c0b441b580f3f","datavalue":{"value":{"amount":"+0.8525412082672119","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":"Q897109$C7B9D7D0-750C-4BBA-96B2-DE82BD734C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cc41969df567ba5f2c8894e2e0159c822ce371c","datavalue":{"value":{"entity-type":"item","numeric-id":2822652,"id":"Q2822652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b837e32a7f617be4908944dd0ad5257f09713a57","datavalue":{"value":{"amount":"+0.8495421409606934","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":"Q897109$D75F898F-628F-4584-A3E8-4623C4B48B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f94ecbeb06290a30c38af83412147e4ebabf7a9f","datavalue":{"value":{"entity-type":"item","numeric-id":4247291,"id":"Q4247291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a6acddea7702faba8b38712fc3c81ed6ea06cc4","datavalue":{"value":{"amount":"+0.8447660803794861","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":"Q897109$D9F6D11A-6935-4822-85CB-5757AD6369A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e79bc0d274028c2ecfe733f5516681a9a8f8b407","datavalue":{"value":{"entity-type":"item","numeric-id":4840199,"id":"Q4840199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4862bfa4bcf4511f83d2b08a070196b39ff52244","datavalue":{"value":{"amount":"+0.8419630527496338","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":"Q897109$CB320078-A177-4B70-8D3D-C592EA2D1E99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Petri net synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Petri_net_synthesis"}}}}}