{"entities":{"Q1721623":{"pageid":1732364,"ns":120,"title":"Item:Q1721623","lastrevid":73591455,"modified":"2026-04-14T16:34:29Z","type":"item","id":"Q1721623","labels":{"en":{"language":"en","value":"Modeling and verification of reconfigurable printing system based on process algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7019717"}},"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":"Q1721623$807E87A9-5CA0-4F67-83B3-9ACF067A4EE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22149fa3bd85974ba3eac8b83706a1ebb93e27ba","datavalue":{"value":{"text":"Modeling and verification of reconfigurable printing system based on process algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1721623$4B91026D-0884-4CBB-B7B8-42C3D39AEDAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6d463bf03007008da18972a213951bd1eb6a44b","datavalue":{"value":"1427.90123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1721623$ABD7BBDD-6E90-4C1E-86FE-6BA03494FAAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"047770257cf7ac852b1058a990b10895749d3a9c","datavalue":{"value":"10.1155/2018/9189836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1721623$FD08FD8E-DF25-4F12-9CCB-DCB071F7BF3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73cd5a489687cfd620ffbb2be2191d36f6eaa260","datavalue":{"value":{"entity-type":"item","numeric-id":1721619,"id":"Q1721619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721623$8C7CF685-4345-46C6-BF84-66D40D28FA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55b64f8c44a81aeca0068ae134b6f203e7209be9","datavalue":{"value":{"entity-type":"item","numeric-id":1721621,"id":"Q1721621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721623$FA5A1F65-2349-464D-B3DC-3647BBB46286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8971d02506b58b0d3623960211bd1bd08439f882","datavalue":{"value":{"entity-type":"item","numeric-id":1721622,"id":"Q1721622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721623$714C050C-CD7F-44F5-BDD1-CC039D0C5534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbe015246eb4f944a80c79c6d89dd8517fa41567","datavalue":{"value":{"entity-type":"item","numeric-id":444234,"id":"Q444234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721623$55ECDE6B-23C5-4542-9A7D-4551E6713532","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3dc97bc0aff607b9c22ce37ffa18b6de85001d90","datavalue":{"value":{"entity-type":"item","numeric-id":86199,"id":"Q86199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721623$6D19EC37-A79F-4B34-8522-FB28846EB4C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32a6dc046c0aa99508538df457dbadf7aa620337","datavalue":{"value":{"time":"+2019-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1721623$59FB0EC8-C614-47AB-B42A-9FE8A89B0F6E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8b7fd1dbb0584d40b74127f2ed6fca21caf577dc","datavalue":{"value":"Summary: With the print production process as the research object in this paper, the intelligent-context-reconfigurable printing system model is analyzed using process algebra (PA). First, combined with the printing production process, the overall framework of the system model, based on the agent-resource-worker (ARW) component model, is proposed. Abstract and formal verification of the system model are then carried out, and the verification process of the complex calibration process is discussed. Finally, the security and progress attributes of the model are validated by mCRL2. The results show that the system model has good reliability.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1721623$0F444731-3137-438B-9C22-73425D7405E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"38e213338db24b8f359e8c3fca9e6e9ae655d7ca","datavalue":{"value":"90B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1721623$E5EEF86F-166F-4570-B829-895351C72F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1721623$4F3F7A86-9BEE-4984-A386-4AAB02496CA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56030195848013b531b221196e7f4196b936d635","datavalue":{"value":"7019717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1721623$EDC386DC-373E-45AE-AA51-3795ED7B93EA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721623$59175C1D-5AF0-4C59-AB41-CE8BCB6FE8AA","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":"Q1721623$A6ADDE88-10CF-4629-BBE0-7BB2F64F049C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"992f536405f3cfcf17ec8f134de0b2d395e2bf22","datavalue":{"value":"https://doi.org/10.1155/2018/9189836","type":"string"},"datatype":"url"},"type":"statement","id":"Q1721623$752A3245-7445-4A3B-81AC-8ABC5E9E419D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"004928716214d4156fc9dd197ecc0637558fad23","datavalue":{"value":"W2894556291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1721623$928F466A-72C1-45AA-B51B-A1AEB211F690","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc2782708647ee03b123ed833088b5b2b80f49a9","datavalue":{"value":{"entity-type":"item","numeric-id":5385424,"id":"Q5385424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721623$E0F22FA3-0ACB-4ACA-91FA-E83953CB0336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6f5d7ed61a9d624af0b81042b54efd11777e57","datavalue":{"value":{"entity-type":"item","numeric-id":930140,"id":"Q930140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721623$6996533E-B661-4E96-B42E-C10905C72A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2579c14d91bc1aeac6061badf47ba615ee95ea9","datavalue":{"value":{"entity-type":"item","numeric-id":3430259,"id":"Q3430259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721623$28D2456D-7C35-4226-813D-1C2CA665608B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a513c45897b31ffec63e5469a25464b2be8ac4b7","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721623$75E725E3-007B-4725-9267-82428F21B931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721623$FC6CEA63-1712-4B01-AC32-7D22E9821F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9aa6040143e2a4ba82f6b55997547b6f9c43e35","datavalue":{"value":{"entity-type":"item","numeric-id":5047039,"id":"Q5047039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721623$F06A1C48-4668-4B9A-9DBA-DFFCE2C147BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721623$45C19F72-0A22-4B66-988D-5B816122150E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad5c1937d9c54f5f02e5c03a83fcf17f6295e41b","datavalue":{"value":{"entity-type":"item","numeric-id":1778946,"id":"Q1778946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54004910b2fb666489e79e6ddf38719984d2af63","datavalue":{"value":{"amount":"+0.8090718","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":"Q1721623$907640C2-D684-4A23-AA6F-05F4C2135046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3001b9fe5b70e3712664022acc62458a57892f59","datavalue":{"value":{"entity-type":"item","numeric-id":3453753,"id":"Q3453753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c987b06b8021dedc0d2f09d5196f6d7f7796c19","datavalue":{"value":{"amount":"+0.8077208","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":"Q1721623$30B28E26-6CD8-4362-B8D3-4282B951E275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d9c0e9368306ebb2ec091708b76e0128e0c39d3","datavalue":{"value":{"entity-type":"item","numeric-id":4782044,"id":"Q4782044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c4f3c53761c12bd81cb07529ecbc04b641c6cb7","datavalue":{"value":{"amount":"+0.803967","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":"Q1721623$F8C5891B-580E-4027-8253-30760672EFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ae47f5bf9e7dcfa84434fcc32ca5f37b0902d0f","datavalue":{"value":{"entity-type":"item","numeric-id":3176390,"id":"Q3176390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e27741078d9c6a213a1bcdb07bca658decbc2b6","datavalue":{"value":{"amount":"+0.8023602","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":"Q1721623$4C2E6C39-49DB-411E-A7DB-C74E5460704A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5225769ce744b82f86f97bb14517c5468eb9a9a6","datavalue":{"value":{"entity-type":"item","numeric-id":2870190,"id":"Q2870190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a8b52df01117f952efe6d2e8fb432b881b3d28","datavalue":{"value":{"amount":"+0.80168456","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":"Q1721623$43F9946A-4434-43FD-ACBF-713189C39E10","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721623$4004B454-7A4D-4961-BAEE-CA357BC36205","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modeling and verification of reconfigurable printing system based on process algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modeling_and_verification_of_reconfigurable_printing_system_based_on_process_algebra"}}}}}