This chapter constitutes the continuation of a new research trend binding rough set theory with concurrency theory. In general, this trend concerns the following problems: discovering concurrent system models from experimental data represented by information systems, dynamic information systems or specialized matrices, a use of rough set methods for extracting knowledge from data, a use of rules for describing system behaviors, and modeling and analyzing of concurrent systems by means of Petri nets on the basis of extracted rules. Some automatized methods of discovering concurrent system models from data tables are presented. Data tables are created on the basis of observations or specifications of process behaviors in the modeled systems. Proposed methods are based on rough set theory and colored Petri net theory.
Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory
