Minimal Regions of ENL-Transition Systems (2010)

Author(s): Koutny M, Pietkiewicz-Koutny M

      • Date: 24-09-2010
      • Journal: Fundamenta Informaticae
      • Volume: 101
      • Issue: 1-2
      • Pages: 45-58
      • Publisher: IOS Press
      • Publication type: Article
      • Bibliographic status: Published

      Keywords: theory of concurrency Petri nets localities analysis and synthesis step sequence semantics conflict theory of regions transition systems ELEMENTARY NET SYSTEMS LOCALITIES


      Professor Maciej Koutny
      CS Director of Research

      Dr Marta Pietkiewicz-Koutny
      Senior Lecturer