Restriction-based concurrent system design using the rough set formalism

MaRDI QIDQ5472949zbMATH OpenFDO

Authors Zbigniew Suraj, Krzysztof Pancerz

Publication date 19 June 2006

zbMATH Keywords

coloured Petri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1983100
• Rough sets and concurrency
• Rough set methods for the synthesis and analysis of concurrent processes
• scientific article; zbMATH DE number 2104632
• scientific article; zbMATH DE number 1515294

Cited in

(3)

• Rough set methods for the synthesis and analysis of concurrent processes
• scientific article; zbMATH DE number 1983100 (Why is no real title available?)
• Rough Sets: From Rudiments to Challenges

This page was built for publication: Restriction-based concurrent system design using the rough set formalism

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