{"entities":{"Q2058574":{"pageid":2069316,"ns":120,"title":"Item:Q2058574","lastrevid":72566412,"modified":"2026-04-14T05:46:39Z","type":"item","id":"Q2058574","labels":{"en":{"language":"en","value":"On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7441670"}},"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":"Q2058574$FF557205-3B37-41AC-898C-AB534A81851C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcff787ade55a87ef25cf0332d26d6cdb3553ec6","datavalue":{"value":{"text":"On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2058574$5B03CFF8-4B8F-49C7-B54B-385250997310","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2255230c57e98ef282dbf74f92ccdbd70f1359d2","datavalue":{"value":"1478.93399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058574$F92015C0-A889-411E-89F9-0053BF9F82AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13cd85947ff41f8b14ea43429f2ed8f206bde368","datavalue":{"value":{"entity-type":"item","numeric-id":2058573,"id":"Q2058573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058574$01B32E7F-5D74-4792-A30C-BEA8CEA6D10B","rank":"normal"},{"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":"Q2058574$C28CF3F4-1383-4741-9B10-D0A04699BB8C","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":"Q2058574$EBEB084F-BD8B-4009-ACEF-BF3FCB24A4AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"179d64d567eb65d7ced64a9cbb5733ee98b610d6","datavalue":{"value":{"time":"+2021-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2058574$EDE1776E-3733-496A-A7CE-1A718A1080F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058574$CABE1C6D-2569-4620-ABEF-FC4AD559D07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484eaf08775232cffaa1ce81f75027f82e88b5db","datavalue":{"value":"93B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058574$4A9E563B-2768-4EDE-8CCC-D2435539EF2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba90f8e729d0f837b674393e6265faf9ab7f61fb","datavalue":{"value":"7441670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058574$FE901A91-299C-4459-A106-6C345D338418","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2058574$FE21D3CC-D641-4841-8324-DE7A631F53F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2058574$FA01F3D9-D4AF-419C-81E4-FDD46CD7476D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e23f537fd3f3c420a141e5eddb3bdc9e8f000690","datavalue":{"value":"control invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2058574$69AF5C2C-322E-4A84-9D67-3B3975B77D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a04e4a185f701dae6df3f52ea9a7d566f57e544","datavalue":{"value":"right-closed sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2058574$C9CBC7B9-9811-4286-AB16-11B564A1A74D","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":"Q2058574$261A383D-B6DA-4C94-B928-72C94B41D784","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29566890844895d63b76900f6b5908b47019781c","datavalue":{"value":"https://doi.org/10.1007/s10626-021-00340-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2058574$F683818F-E4B5-4BFA-A28F-454261896148","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"310b95842f705c47cf34c08e7165abc0d7e74d02","datavalue":{"value":"W3140817529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058574$5F7E36CB-35E6-4FFB-B659-C4F280633B10","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058574$F01A2981-D96E-4EF1-B40B-03B80A8E3E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba5021657528797baac7160c76c779d3e547775e","datavalue":{"value":{"entity-type":"item","numeric-id":838995,"id":"Q838995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058574$55047279-E25B-4FCF-9F94-6DA488098BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1996de4557dcb34a403b3758c8b6ed4379e3e6c2","datavalue":{"value":{"entity-type":"item","numeric-id":5853943,"id":"Q5853943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058574$28A08D6A-2130-4917-B142-6ED0E869BB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82a639238f170faf05bb4f8184f743a5d69455bd","datavalue":{"value":{"entity-type":"item","numeric-id":958258,"id":"Q958258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058574$F756B345-5F81-4C0F-B7D3-3363A22CA478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64d65dc9725198d9ccbdac326b0dd6b29d99d3ed","datavalue":{"value":{"entity-type":"item","numeric-id":2501322,"id":"Q2501322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058574$C821861F-EC74-4846-B674-9DBCF22F9BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f9f8d47d84df67359522c82a907442bb6b7a1c3","datavalue":{"value":{"entity-type":"item","numeric-id":5347911,"id":"Q5347911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058574$E9702F27-EB33-4A5E-AA54-28E1EF54EE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d0ff217b0ba28781efb8d30eb678482f7e202e0","datavalue":{"value":{"entity-type":"item","numeric-id":4219294,"id":"Q4219294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058574$DDFACC07-5EF7-4794-A3FA-D7F52DF04C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058574$11CF1151-A8BA-44F9-ACF4-5E76A85ADA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f254fb2c47573403d95dc8dc816c70507e882fa9","datavalue":{"value":{"entity-type":"item","numeric-id":5899708,"id":"Q5899708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058574$5DBD7DD8-5454-4BB3-8BE5-5942F82A7499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eae3c25282058bf80530b8b9245ecabcad2d82b","datavalue":{"value":{"entity-type":"item","numeric-id":4361121,"id":"Q4361121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058574$DEC63DE1-525A-4BC0-967F-EE8E7F30CAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6f5c4878ac6a376071fcded82c3807ca3dc062","datavalue":{"value":{"entity-type":"item","numeric-id":5352711,"id":"Q5352711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058574$3CAAA775-0482-4FED-802F-74E91C42A1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0863235db59889cae8e307ac033932805be9713f","datavalue":{"value":{"entity-type":"item","numeric-id":797285,"id":"Q797285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058574$63D937E4-A536-454D-B75B-0E7353481135","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3d7d8a1a18898565842920b8327fce7502378bd","datavalue":{"value":"10.1007/S10626-021-00340-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058574$B6853235-0CF8-4F2C-84B3-2A5927C72246","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b1cf12e06f7299ff0ddd533fd0464560f987bd4","datavalue":{"value":{"entity-type":"item","numeric-id":797285,"id":"Q797285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f7f3b98c55cc5ade882aa4c79ffe081c77bd4e","datavalue":{"value":{"amount":"+0.7416890263557434","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":"Q2058574$CBCC4ACA-6318-43EA-8D1D-ED5A425D8FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd7612725e0eb95e0b94afeda2f5c3211df6f17","datavalue":{"value":{"entity-type":"item","numeric-id":3609987,"id":"Q3609987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63759243faa6458abf56db60b3cea1d42162c3a5","datavalue":{"value":{"amount":"+0.7227213978767395","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":"Q2058574$181E9DE0-48A5-45BE-B789-EAF53E9BBB1B","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":"0b6495839fd2dd2647544f719767ef05c6731c19","datavalue":{"value":{"amount":"+0.7218778729438782","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":"Q2058574$E15ECA65-BC58-46C3-A6DC-A5CA6B3F894F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"164a0fc47cb1aa811b20870c4476e2f1cc075043","datavalue":{"value":{"entity-type":"item","numeric-id":4720791,"id":"Q4720791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a5c6d9000cd40575ad9e664f7d0cd7e97704ccc","datavalue":{"value":{"amount":"+0.7209870219230652","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":"Q2058574$533DA7AE-3E18-498C-8E88-6C4F42F9D005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9fc6549b9cf7af11134d81b1c3c611d1db8e981","datavalue":{"value":{"entity-type":"item","numeric-id":2730334,"id":"Q2730334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ddca0ce94572c8108294c9d253677beec74cead","datavalue":{"value":{"amount":"+0.717172384262085","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":"Q2058574$4AA3761B-F469-4BDE-87BC-5FDD0EA2EB17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_computing_the_supremal_right-closed_control_invariant_subset_of_a_right-closed_set_of_markings_for_an_arbitrary_Petri_net"}}}}}