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


      Dr Marta Koutny
      Senior Lecturer

      Professor Maciej Koutny
      CS Director of Research