Rough set methods for the synthesis and analysis of concurrent processes

MaRDI QIDQ2785009zbMATH OpenFDO

Authors Zbigniew Suraj

Publication date 24 April 2002

zbMATH Keywords

Petri netsrough set methods

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Knowledge representation (68T30)

Recommendations

• Rough sets and concurrency
• Restriction-based concurrent system design using the rough set formalism
• scientific article; zbMATH DE number 1983100
• Modelling concurrent systems specified by dynamic information systems: a rough set approach
• scientific article; zbMATH DE number 2064228

Cites work

• LOTOS

Cited in

(16)

• Rough sets and concurrency
• Reconstruction of cooperative information systems under cost constraints: A rough set approach
• Modelling concurrent systems specified by dynamic information systems: a rough set approach
• scientific article; zbMATH DE number 994064 (Why is no real title available?)
• Extensions of Information Systems: The Rough Set Perspective
• scientific article; zbMATH DE number 1983100 (Why is no real title available?)
• scientific article; zbMATH DE number 2064228 (Why is no real title available?)
• scientific article; zbMATH DE number 1515294 (Why is no real title available?)
• scientific article; zbMATH DE number 2104632 (Why is no real title available?)
• scientific article; zbMATH DE number 1405614 (Why is no real title available?)
• Rough Sets: From Rudiments to Challenges
• Synthesis reasoning model based on rough set theory
• Restriction-based concurrent system design using the rough set formalism
• Rough sets: past, present, and future
• Rudiments of rough sets
• Rough sets and Boolean reasoning

Describes a project that uses

Uses Software

• LOTOS
• SHARPE

This page was built for publication: Rough set methods for the synthesis and analysis of concurrent processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2785009)