{"entities":{"Q1901703":{"pageid":1912445,"ns":120,"title":"Item:Q1901703","lastrevid":71114184,"modified":"2026-04-13T19:34:29Z","type":"item","id":"Q1901703","labels":{"en":{"language":"en","value":"The synthesis problem of Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 814156"}},"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":"Q1901703$3C69F55E-94A6-4AEE-A144-3A2E3824E486","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97acc6ea9b0994ea57ca2c7d74b6e8d4bce4a841","datavalue":{"value":{"text":"The synthesis problem of Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1901703$B739B6E5-83F5-419A-981C-E2430EF4B136","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2a8921dba02917fe780c8ac3f4096bae8cac516","datavalue":{"value":"0849.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901703$0C1A6377-320A-4C25-A4A4-79578419C2D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b118e1d3cd5efbea6f6ab33e660d831d45ef0c","datavalue":{"value":{"entity-type":"item","numeric-id":589393,"id":"Q589393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901703$316C817F-6117-4324-8247-03B1AA4BD415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02c1e78fea93d106084a694fc605d5f70bc86eb4","datavalue":{"value":{"entity-type":"item","numeric-id":594596,"id":"Q594596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901703$8699BAFC-E27A-4EFF-AB3E-A30202477890","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901703$B38862A2-2661-4F72-819E-9240E8398AF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00fe8bfda3ed2cfe20a514de7a7e433b0f6c2b5","datavalue":{"value":{"time":"+1995-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1901703$ED8E18B1-45EA-4555-980D-2FA7BD735B3E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"02bcb195567497a7e96db27287dbe94a2b103419","datavalue":{"value":"The synthesis problem of concurrent systems is the problem of synthesizing a concurrent system model from sequential observations. The paper studies the synthesis problem for elementary Petri nets and transition systems. A characterization of the class of transition systems which correspond to elementary Petri nets is proven. It is shown how to generate all elementary Petri nets corresponding to a given transition system. If there is any such elementary Petri net, it is proven that there always exists a small one which has only polynomially many elements in the size of the transition system.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901703$07B8A7D4-95C0-4205-830B-6CDDA139139E","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":"Q1901703$3CE74D75-5C30-4A54-9262-E15FE6176834","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901703$1372EA9C-786C-4A47-9C1B-2669CB9813DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901703$BE345DC6-A3B7-4F4C-9C78-B77A401CEB52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebf73b55cb9d05a18cfcdd1ba768cda020c5db3c","datavalue":{"value":"814156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901703$183B63EB-91DA-49B0-85DE-FC90D97D5883","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb7f00ee7fdadd911515b91bdfee9f839c293b4","datavalue":{"value":"concurrent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901703$A046A6E7-95EA-4111-B3D3-D07157982DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901703$E2FEDE14-A6FF-4E58-9080-4064DE8F076E","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":"Q1901703$1FF41575-7FED-4D10-A1DF-D098E691FD42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e021f1096af195bba86ae023b925ac9f7c2a7597","datavalue":{"value":"https://doi.org/10.1007/s002360050046","type":"string"},"datatype":"url"},"type":"statement","id":"Q1901703$746C4E4A-B0E3-4CBA-A632-5E90E5CFDA48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63bfec0d0697d2993f77ee05d692e07c8cad86b8","datavalue":{"value":"W2048775824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901703$BD21200F-E3D8-4FAB-8927-6810B8E59F45","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aca06766684d6875f2b6c3dc42b2014a90381129","datavalue":{"value":{"entity-type":"item","numeric-id":911308,"id":"Q911308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901703$EBA3BA4C-97C6-43E2-B89D-AC6D07E62723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba77d9dd9b6bb60453874e76522fc212f0b0ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2265803,"id":"Q2265803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901703$90221638-76CE-49DE-98BF-DD3495167ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8f01332146e7cd2d5499a73fb96dae34f6b2070","datavalue":{"value":{"entity-type":"item","numeric-id":1167527,"id":"Q1167527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901703$36D0B29D-441D-45F6-8557-DAF5706E0BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e0a238584099d45d56494a58bf9fa6829124b3","datavalue":{"value":{"entity-type":"item","numeric-id":4032923,"id":"Q4032923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901703$3D59EA1D-973B-4E25-804A-A6841A192033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"285c19c59dc95826932a2529929811a81869a857","datavalue":{"value":{"entity-type":"item","numeric-id":1190485,"id":"Q1190485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901703$D8201CCA-C4AE-4C5A-AE83-83A87F7B2A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb71253f8196477b0453f2fa6bc4b2fde8bb481c","datavalue":{"value":{"entity-type":"item","numeric-id":3776635,"id":"Q3776635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901703$E60F49E0-516A-409B-93A2-75C2206D10E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8b3032112cc8297551f788a64f5281fbe32af57","datavalue":{"value":"10.1007/S002360050046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901703$DF599347-DBB0-4F5C-A826-B973727377F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b585be8189643ff9b3ecd9698d2a2616d56e36b","datavalue":{"value":{"entity-type":"item","numeric-id":4281514,"id":"Q4281514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8550900687c702b342ece73642ce7dc629933d2","datavalue":{"value":{"amount":"+0.99999964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901703$E43B3DD6-08CD-49F8-BE16-E184970F7C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f93af0c705a400db76e9567f6b15c1b737829ab","datavalue":{"value":{"entity-type":"item","numeric-id":3805919,"id":"Q3805919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca2d8ba1266a80063da6920362ac831f88a12c64","datavalue":{"value":{"amount":"+0.9420086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901703$69151D10-D74E-4E21-A05B-F5F5016076D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71789bf1300c454004607b681910d08da721b0cf","datavalue":{"value":{"entity-type":"item","numeric-id":897109,"id":"Q897109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18c54eb1fd95ba16aed95927f1c408ae5905e965","datavalue":{"value":{"amount":"+0.940092","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901703$99E775BF-1569-4B98-A784-2031472D35FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca2a48d5d8dc5ee7f658149b9cc99167c2b7445a","datavalue":{"value":{"entity-type":"item","numeric-id":1882929,"id":"Q1882929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8845d88edd7533d0a0af4bd5fe8699f565652de8","datavalue":{"value":{"amount":"+0.9186747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901703$BC9B44F6-55BA-4C83-91F2-601796128466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bcea35979679008d6dc0883b12f052330bf7098","datavalue":{"value":{"entity-type":"item","numeric-id":2889615,"id":"Q2889615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35e2d818b2bd6e67af5660159c7b27fc9e76d891","datavalue":{"value":{"amount":"+0.9185649","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901703$C6D276D5-4590-4D15-BB8E-2C044CEA7CCF","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":"e60a96a5a1ee0f1fad83fb78d93bed36e2e3d644","datavalue":{"value":{"amount":"+0.91817963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901703$BD340ED1-1895-4B12-A20E-A97E5654EDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692ff60aa40b946af78c22c2d8348baebdb12902","datavalue":{"value":{"entity-type":"item","numeric-id":5044399,"id":"Q5044399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbcc6e4460a00ffc9e6bb957d212957e12ef16a1","datavalue":{"value":{"amount":"+0.91788965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901703$A821208A-600C-4194-9572-105C70DD5276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f67b5e6fb6db6800b4d15322b2e37346a1d3584","datavalue":{"value":{"entity-type":"item","numeric-id":3602749,"id":"Q3602749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80d460a5f334f875005a9a133b58aea9684af19f","datavalue":{"value":{"amount":"+0.9140832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901703$1C3C4A55-54E5-46CF-949B-FD40FAFA9B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fde4cd57e829b028126d0ebd5094ab0a30d38e5","datavalue":{"value":{"entity-type":"item","numeric-id":4621223,"id":"Q4621223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe4badd07b20d47f03cfdfd5d2152dac9de88422","datavalue":{"value":{"amount":"+0.9135257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901703$73084A79-2924-42BE-8850-7A1DDB78F4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6383ca3ad0f865e4b1851ad9a1eb25ab08616fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4525284,"id":"Q4525284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b0bcf67ab0640d5e4a711a855c2b160187c520b","datavalue":{"value":{"amount":"+0.9115817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901703$EC8749BF-A257-4C8D-BFB4-FA9ACB2A317E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The synthesis problem of Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_synthesis_problem_of_Petri_nets"}}}}}