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
      Professor of Computing Science

      Dr Marta Pietkiewicz-Koutny
      Senior Lecturer