{"entities":{"Q702167":{"pageid":704016,"ns":120,"title":"Item:Q702167","lastrevid":63641343,"modified":"2026-04-11T14:33:25Z","type":"item","id":"Q702167","labels":{"en":{"language":"en","value":"A sufficient condition for reachability in a general Petri net"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2128548"}},"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":"Q702167$840D7BC0-A43A-4C82-85CE-7382188A7789","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f19e4c59220b680ab1d233be1d5b6e89836bcfa","datavalue":{"value":{"text":"A sufficient condition for reachability in a general Petri net","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q702167$E926B215-B5D9-4606-B110-5EB3727D0401","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36c31ddb4e511b5cc54fc5af1fd52034f5b7b5b6","datavalue":{"value":"1073.93003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702167$84F52612-BBD0-4611-B277-4D8C5184066C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33332c3688ff1ada13d5956827037e5e64741054","datavalue":{"value":{"entity-type":"item","numeric-id":702166,"id":"Q702166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702167$3BB9F03C-82F1-4E57-AB44-DC86614B0F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32ae4e1b7ddfd60dd6ecba79cd2f361a384a3297","datavalue":{"value":{"entity-type":"item","numeric-id":336369,"id":"Q336369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702167$2E3E09DA-8F9A-498C-ADE1-5E5EEAA9BDC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702167$E81AA203-3986-40C9-A933-C769D705B236","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37e0c96c2448c107e8ba1ab758a77fd0ef8e40ee","datavalue":{"value":{"time":"+2005-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q702167$1E111153-D8F4-4089-B5ED-3516A8D196DB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3fec06d59d8ab3c2a0309eb97810420591168de0","datavalue":{"value":"A transformation procedure for converting a given Petri net into an acyclic Petri net with a given number of stages is considered. Next, using the results taken directly from the theory of Petri nets and algebraic methods, sufficient conditions for a suitably defined reachability property are formulated and proved. Simple illustrative examples are also presented. The utility of the transformed acyclic net in reachability investigations is also mentioned.  Moreover, the paper contains many remarks and comments concerning reachability problems for discrete-time systems. Finally, it should be pointed out, that similar problems have been discussed in the reviewer's monograph [\\textit{J. Klamka}, Controllability of dynamical systems (Mathematics and its Applications: East European Series 48, Kluwer Academic Publishers, Dordrecht) (1991; Zbl 0732.93008)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q702167$1F2D49C7-8D9E-4779-885C-F1DCD5DF7970","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ea16ff8d6086ed0f40b75dcbec056bf0055f8c62","datavalue":{"value":{"entity-type":"item","numeric-id":326203,"id":"Q326203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702167$68D384D0-361B-433B-8888-19FFEA3267B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702167$28100D0B-BADE-4374-8D89-294EC283466D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702167$48FF28EA-AE89-4DB5-BDA7-6ACCDFBEED87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484eaf08775232cffaa1ce81f75027f82e88b5db","datavalue":{"value":"93B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702167$C3B3B83E-5E2A-49A1-91E0-D8ADC21CC125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702167$473F83DC-6191-4537-B105-1D477F4BFD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702167$0853A513-F5B8-4119-B349-9EDDDE009B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ba2842931f306df7115450868bb0fb7d07d2a0c","datavalue":{"value":"93B17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702167$344AE7DD-52DD-4E34-A72E-ADE51CCD3C72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8843d2bb8dc8a83091894d36690ac339ac9f09a","datavalue":{"value":"2128548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702167$4B2D09C3-FEE5-4636-86B1-765BBB549B34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q702167$61466803-0265-4730-A9C8-C3877B0E410D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q702167$6FA4ABC6-E82C-4E83-A88F-1CD3BCD8E341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a31469863c6bc3815309d7735544475223fe1ff","datavalue":{"value":"acyclic transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q702167$39B70FA2-4DC7-4921-B53F-8BC026D6BE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25142d99e70f3e956d269c694dba0c0dca93e8fa","datavalue":{"value":"unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q702167$995D57DC-3D9C-4692-AD03-467A5F81516B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b21d06c5ad66087ac3dddae017be8305d01dcb8c","datavalue":{"value":"net expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q702167$48893B69-226C-47CB-B5C8-A544737747B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45026bc7f2be5c01289e4b008a1d85fff8aef1e0","datavalue":{"value":"transition firing sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q702167$C597FCFC-9B65-4589-BCB5-956472387743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82e5295fa967420db17bb05d1fd567ce5a7917b7","datavalue":{"value":"controllability","type":"string"},"datatype":"string"},"type":"statement","id":"Q702167$119F9190-3E75-4E94-A74A-7D213A31A916","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":"Q702167$99ECE721-4DC6-4A20-A174-A0F5FF425C7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfaf5a168d9f0942f7219a4709d14eff508345b6","datavalue":{"value":"https://doi.org/10.1023/b:disc.0000028197.25480.d6","type":"string"},"datatype":"url"},"type":"statement","id":"Q702167$084D02DA-737F-4F88-940C-544F806FFE2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"907b6f4b353e6d4b2e2e93ae2aa025e177ce3cb9","datavalue":{"value":"W1980200158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702167$CFCD0B2C-1CDC-4288-A3E1-628D22E9B194","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f50263226f1c119fb290b3b5ba30dc6e88a911c2","datavalue":{"value":"10.1023/B:DISC.0000028197.25480.D6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702167$F7991CFF-0097-4238-BA56-F1197F2BB031","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d320e89574876ab1ac892c2bd0df275d997cce","datavalue":{"value":{"entity-type":"item","numeric-id":4835904,"id":"Q4835904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c23e9663df7b587277eaa2d15708a1be4b76ba","datavalue":{"value":{"amount":"+0.8163511157035828","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":"Q702167$85666031-FC33-44B0-87D9-809106701506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40581379a912593b1a051b9148e2cd09a66e81aa","datavalue":{"value":{"entity-type":"item","numeric-id":644287,"id":"Q644287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6926f2024c6b13ce184bfefe3f1e8d4bc79aee6b","datavalue":{"value":{"amount":"+0.790290892124176","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":"Q702167$61629680-4C14-4C3C-8CB3-5D2DE6368E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e8265a21a53e16c25f8845900a25c6eb4d2a0d","datavalue":{"value":{"entity-type":"item","numeric-id":685410,"id":"Q685410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d27c6ddc78f43b49c141f8352b39dc3df3e6a29","datavalue":{"value":{"amount":"+0.7889277935028076","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":"Q702167$8EDE514D-8AA0-417E-AE23-2FBF9068920E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0c966eb4160bf20caf2f9bc177ad05cf41d2b64","datavalue":{"value":{"entity-type":"item","numeric-id":5959841,"id":"Q5959841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a1d1a4b8b83d448a7bd79f9b4c2e2082ba1d9d","datavalue":{"value":{"amount":"+0.7853406071662903","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":"Q702167$D55F2F1E-8BA2-4274-BB68-A86DFCE54CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbbc9ba4180a6d2f6a294eaf1dba353bc08ae4cb","datavalue":{"value":{"entity-type":"item","numeric-id":4823615,"id":"Q4823615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176986c63f9c6ecee382f51ea59bbe84f8e8112e","datavalue":{"value":{"amount":"+0.7804380655288696","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":"Q702167$7B5B20E0-5689-405B-A9E9-A99E1915F082","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A sufficient condition for reachability in a general Petri net","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_sufficient_condition_for_reachability_in_a_general_Petri_net"}}}}}