Abstract

We present some applications of a method for synthesis of concurrent models from the specification given by an information system and/or decision rules. A solution generated by the method for the well known problem in concurrency is represented by colored Petri nets (CP-nets, in short). The method allows to generate automatically an appropriate CP-net from the specification given by an information system and/or decision rules. This kind of specification should be more convenient for the designers of concurrent systems than directly drawing a Petri net, especially in cases of large in size net models. The CP-nets produced automatically by the application of the method are sometimes not in the optimal form and some modification procedure could be applied to get more optimal solutions. This problem is also discussed in the paper.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.