On the finiteness of the reachability set for jumping Petri nets (Q2918752)

From MaRDI portal





scientific article; zbMATH DE number 6092575
Language Label Description Also known as
default for all languages
No label defined
    English
    On the finiteness of the reachability set for jumping Petri nets
    scientific article; zbMATH DE number 6092575

      Statements

      0 references
      10 October 2012
      0 references
      parallel distributed systems
      0 references
      Petri nets
      0 references
      decidability
      0 references
      On the finiteness of the reachability set for jumping Petri nets (English)
      0 references

      Identifiers