Synthesis of Petri Net Models: A Rough Set Approach

Issue title: Concurrency Specification and Programming (CS&P'2002), Part 2

Article type: Research Article

Authors: Pancerz, Krzysztof | Suraj, Zbigniew

Affiliations: Chair of Computer Science Foundations, University of Information Technology and Management, Sucharskiego Str. 2, 35-225 Rzeszów, Poland

Abstract: The synthesis problem of concurrent data models from experimental tables based on rough set approach has earlier been discussed [14], [15] Classical Petri nets have been used as a model for concurrency. In this paper we propose the nets with inhibitor expressions and Coloured Petri Nets as models for concurrency. The nets with inhibitor expressions are defined on the base of so called inhibitor rules extracted from modelled systems. The approach presented in this paper enables to implement the algorithms for easier construction of Petri net models. The proposed approach can be applied to discover data models in semi-automatic way. The obtained models enable us to determine all global states of a modelled system represented by an information system, consistent with all rules extracted from the given information system.

Keywords: information system, rough sets, concurrency, nets with inhibitor expressions, Coloured Petri Nets

Journal: Fundamenta Informaticae, vol. 55, no. 2, pp. 149-165, 2003