Merged processes: A new condensed representation of Petri net behaviour (2006)

Author(s): Khomenko V, Kondratyev A, Koutny M, Vogler W

      • Journal: Acta Informatica
      • Volume: 43
      • Issue: 5
      • Pages: 307-330
      • Publisher: Springer
      • Publication type: Article
      • Bibliographic status: Published

      Dr Victor Khomenko
      Reader in Formal Methods

      Professor Maciej Koutny
      CS Director of Research