Performance evaluation of concurrent systems using Petri nets (Q789900)

From MaRDI portal





scientific article; zbMATH DE number 3846888
Language Label Description Also known as
default for all languages
No label defined
    English
    Performance evaluation of concurrent systems using Petri nets
    scientific article; zbMATH DE number 3846888

      Statements

      Performance evaluation of concurrent systems using Petri nets (English)
      0 references
      0 references
      1984
      0 references
      The author gives a new lower bound on minimal cycle time (which is better than the pevious one) of a P-invariant timed Petri net. For non-P- invariant Petri nets he shows the existence of equivalent (with respect to minimal cycle time) P-invariant Petri nets.
      0 references
      timed marked graphs
      0 references
      P-invariant nets
      0 references
      lower bound on minimal cycle time
      0 references
      timed Petri net
      0 references

      Identifiers