A new version of ROSECON - A software tool for modeling and analyzing systems of processes working together

作者: Krzysztof Pancerz

DOI: 10.1109/HSI.2009.5090994

关键词: Petri netDistributed computingComputer scienceConcurrencyInformation systemGraphical user interfaceRough setConcurrency controlSystems analysisSet (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.

参考文章(17)
Krzysztof Pancerz, Zbigniew Suraj, Roman W. Swiniarski, Prediction of Model Changes of Concurrent Systems Described by Temporal Information Systems. DMIN. pp. 51- 57 ,(2005)
Zbigniew Suraj, Krzysztof Pancerz, Flow graphs as a tool for mining prediction rules of changes of components in temporal information systems rough sets and knowledge technology. pp. 468- 475 ,(2007) , 10.1007/978-3-540-72458-2_58
Zdzisław Pawlak, Concurrent versus sequential the rough sets perspective Bulletin of The European Association for Theoretical Computer Science. ,vol. 48, pp. 178- 190 ,(1992)
Zdzisław Pawlak, Some Issues on Rough Sets Lecture Notes in Computer Science. ,vol. 1, pp. 1- 58 ,(2004) , 10.1007/978-3-540-27794-1_1
Zbigniew Suraj, Krzysztof Pancerz, Restriction-Based Concurrent System Design Using the Rough Set Formalism Fundamenta Informaticae. ,vol. 67, pp. 233- 247 ,(2005)
Zbigniew Suraj, Krzysztof Pancerz, Grzegorz Owsiany, On Consistent and Partially Consistent Extensions of Information Systems Lecture Notes in Computer Science. pp. 224- 233 ,(2005) , 10.1007/11548669_24
Zbigniew Suraj, Krzysztof Pancerz, Reconstruction of concurrent system models described by decomposed data tables soft computing. ,vol. 71, pp. 121- 137 ,(2006)