关键词: Petri net 、 Distributed computing 、 Computer science 、 Concurrency 、 Information system 、 Graphical user interface 、 Rough set 、 Concurrency control 、 Systems analysis 、 Set (abstract data type)
摘要: In the paper, we introduce a new version of ROSECON system - software tool featuring set methods for modeling and analyzing systems processes working together (systems concurrent processes). Concurrency is understood widely. presented area, consisting some separated whose local states are partly independent on other processes. such systems, can distinguish interested in dependencies between individual processes, possibilities coexistence at same time, etc. The helps us, among others, solving problems.