Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations

Issue title: Concurrency Specification and Programming (CS&P)

Article type: Research Article

Authors: Czaja, Ludwik | Kudlek, Manfred

Affiliations: Institute of Informatics, Warsaw Uniwersity, Banacha 2, Warsaw, Poland. lczaja@mimuw.edu.pl | Department Informatik, MIN-Fakultät, Universität Hamburg, Germany, Vogt-Kölln-Straße 30. D-22527 Hamburg, Germany. kudlek@informatik.uni-hamburg.de

Note: [] Address for correspondence: Department Informatik, MIN-Fakultät, Universität Hamburg, Vogt-Kölln-Straße 30. D-22527 Hamburg, Germany

Abstract: We extend the investigation of synthesis and analysis of net structures and transition graphs to such with inhibitor relations, and show that the results obtained for the simpler case can be extended, too.

DOI: 10.3233/FI-2010-271

Journal: Fundamenta Informaticae, vol. 101, no. 1-2, pp. 1-7, 2010