{"entities":{"Q4361121":{"pageid":6390720,"ns":120,"title":"Item:Q4361121","lastrevid":46494093,"modified":"2025-12-24T22:04:54Z","type":"item","id":"Q4361121","labels":{"en":{"language":"en","value":"On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1078936"}},"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":"Q4361121$2B92CC84-A703-4622-9E60-92C64661EFFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eab1a122b0c0c003fea191b4a1b1ae3dc1ddf701","datavalue":{"value":{"text":"On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4361121$1E58B5AC-1AE9-40CA-9CEB-2A05FE9DC0B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d41603a3e735276b633665ba9890a182b38adcf","datavalue":{"value":"0887.93002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4361121$18441136-D282-430F-891E-B935F48EE97D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db0d3834c0a1a3be633dcd96097076187449f5d3","datavalue":{"value":"10.1109/9.599972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4361121$542AF824-E3A3-406A-933F-40C6EEBA2DC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4361121$46153D1C-3DFC-441B-A80E-3AD495110A07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e2dfb5d8700e631835334f9dc71e9b98ed5a53b","datavalue":{"value":{"time":"+1997-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4361121$E9E471E6-EB38-4363-B124-96D22023AF58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d960cdffa4083087af2ed7c947262e551f5e4d88","datavalue":{"value":"https://semanticscholar.org/paper/55d3067c9430b50e8009fb475995cd931a1297ac","type":"string"},"datatype":"url"},"type":"statement","id":"Q4361121$8C65CEF4-0B2E-42DE-AD0E-DC63BCF194B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4361121$BEFF7028-BAEA-4844-B01D-69FAF82F38A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4361121$0AF4DD01-A105-4CA2-8C7E-F4FDFC053F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4361121$77BB7690-EB73-4884-AD0E-843C323B264F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cab3fc911a903a5a309bea0213d4db4008f6cd90","datavalue":{"value":"1078936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4361121$2BDC6D40-884D-4008-B14A-B3B6EB0A6F9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f343dadf95e8f6c15d08ecbced2f242c8d753c6","datavalue":{"value":"controlled Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4361121$559848EE-B7EA-43A9-ACE7-7FE585C0AE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83dcfa8fa8277362b14f55404dd4f68c606d2a47","datavalue":{"value":"supervisor","type":"string"},"datatype":"string"},"type":"statement","id":"Q4361121$0231124D-BA24-4DA9-B45A-C1F7C9D1E5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4361121$C3C26A4F-C941-4571-BC66-9AAAE0484282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8755e3920dde8170944d9758daf4316a6b690d5","datavalue":{"value":"minimally restrictive supervisory policy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4361121$CE088CB3-8E3F-4E2A-9114-E091FB5F9954","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73bdfc54a37ff8259781c57e14c72c306d7d09ee","datavalue":{"value":{"entity-type":"item","numeric-id":1295010,"id":"Q1295010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4361121$6386791C-8D4D-4B40-82CD-DC4964E1B649","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":"Q4361121$6C413877-B8F9-434F-B06A-16E8D7C8E151","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a99988cbd4acdcb7d2de741c3f7e607e87140899","datavalue":{"value":"W2105090403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4361121$26845F89-7DD0-4BBB-98D5-D2A5D2D969EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b84858789ea8264fb291bb0bd19f7bc67550b233","datavalue":{"value":{"entity-type":"item","numeric-id":2663929,"id":"Q2663929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58d08fa4beded4b24bd5dc8b67dbf6c8a1d6bb58","datavalue":{"value":{"amount":"+0.8601217865943909","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":"Q4361121$57A067E8-2E09-443F-8670-9419D39E63F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef14dd9f37d00a7214299e7126f41152a46013d2","datavalue":{"value":{"entity-type":"item","numeric-id":4506806,"id":"Q4506806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71d4d45f74cdd244d1ab9ae0694163998b19edd0","datavalue":{"value":{"amount":"+0.8515431880950928","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":"Q4361121$FCC1FAF4-4749-4E06-8601-FBDEA08148F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a9c174b9bad445b1df549695c26809bdf035575","datavalue":{"value":{"entity-type":"item","numeric-id":4782035,"id":"Q4782035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4a0f2fbac27ab44c6df905dc7a8f8bf5bb09583","datavalue":{"value":{"amount":"+0.8468701839447021","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":"Q4361121$0783C1EA-3015-4571-A5D8-1253356FC8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23db9d727da5312deea877929ba556bb2a93e464","datavalue":{"value":{"entity-type":"item","numeric-id":2489594,"id":"Q2489594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ba3f6509cc4bcd4eea619be4bb6d7cb69d2c5b","datavalue":{"value":{"amount":"+0.8390280604362488","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":"Q4361121$FD5553FA-F307-42AA-9C87-A6F81D34BC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d0630e66ae0c5eb530bc2881244a155d19f799","datavalue":{"value":{"entity-type":"item","numeric-id":1295011,"id":"Q1295011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04fa298772d6c640bf2d52de6f4b80da00bd1cba","datavalue":{"value":{"amount":"+0.826553225517273","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":"Q4361121$1E76EB5C-EF7B-4E87-9F64-323DF60A94E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4361121","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4361121"}}}}}