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

      Discrete Time Stochastic 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 references12

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

          Petri Nets

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

            Performance Analysis Using Stochastic Petri Nets

            Molloy (1982)
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Formal verification of parallel programs

                Bookmark

                Author and article information

                Journal
                IEEE Transactions on Software Engineering
                IIEEE Trans. Software Eng.
                Institute of Electrical and Electronics Engineers (IEEE)
                0098-5589
                April 1985
                April 1985
                : SE-11
                : 4
                : 417-423
                Article
                10.1109/TSE.1985.232230
                b798e5d1-3e2f-4a6d-b347-8e7bc87a48ed
                © 1985
                History

                Comments

                Comment on this article