# Online verification of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="d1e146" altimg="si617.svg"> <mml:mi>K</mml:mi> </mml:math> -step opacity by Petri nets in centralized and decentralized structures

> Research article (Automatica, 2022) · cited 12× · AI/ML

**Wikidata**: [openalex:W4293125503](https://www.wikidata.org/wiki/openalex:W4293125503)  
**Source**: https://4ort.xyz/entity/online-verification-of-mml-math-xmlns-mml-http-www-w3-org-1998-math-mathml-display-inline-id-d1e146-altimg-si617-svg-mml