Towards an Efficient Algorithm for Unfolding Petri Nets (2001)

Author(s): Khomenko V, Koutny M

      • Date: 20-25 August 2001
      • Conference Name: 12th International Conference on Concurrency Theory (CONCUR)
      • Volume: 2154
      • Pages: 366-380
      • Publisher: Springer-Verlag
      • Publication type: Conference Proceedings (inc. abstract)
      • Bibliographic status: Published
        Staff

        Dr Victor Khomenko
        Senior Lecturer

        Professor Maciej Koutny
        Professor of Computing Science