14
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      Symbolic Verification of Current-State Opacity of Discrete Event Systems Using Petri Nets

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references38

          • Record: found
          • Abstract: not found
          • Article: not found

          Petri nets: Properties, analysis and applications

          T Murata (1989)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Graph-Based Algorithms for Boolean Function Manipulation

            Bryant (1986)
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Crowds: anonymity for Web transactions

                Bookmark

                Author and article information

                Contributors
                Journal
                IEEE Transactions on Systems, Man, and Cybernetics: Systems
                IEEE Trans. Syst. Man Cybern, Syst.
                Institute of Electrical and Electronics Engineers (IEEE)
                2168-2216
                2168-2232
                December 2022
                December 2022
                : 52
                : 12
                : 7628-7641
                Affiliations
                [1 ]Institute of Systems Engineering, Macau University of Science and Technology, Macau, China
                Article
                10.1109/TSMC.2022.3151695
                79aaee7e-5219-4afe-ad16-29f10644cf3c
                © 2022

                https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html

                https://doi.org/10.15223/policy-029

                https://doi.org/10.15223/policy-037

                History

                Comments

                Comment on this article

                scite_
                0
                0
                0
                0
                Smart Citations
                0
                0
                0
                0
                Citing PublicationsSupportingMentioningContrasting
                View Citations

                See how this article has been cited at scite.ai

                scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.

                Similar content2,593

                Cited by1

                Most referenced authors109