In: Tsau Young Lin; Wildberger, A.M.: Soft Computing, Third international Workshop on Rough Sets and Soft Computing, San Jose, CA, pages 107-110. The Society for Computer Simulation, 1994.
Abstract: We present an overview of the CM-system for the synthesis of concurrent models specified by information systems in Pawlak's sense. Our system is a part of a larger system called PN-tools, which contains an integrated graphical environment for the design and analysis of Petri nets.