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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/978-3-642-24425-4_79 | RSKT |
Keywords | Field | DocType |
decision rule,optimal solution,concurrent system,petri net,information system,modification procedure,appropriate cp-net,optimal form,concurrent model,specification,information systems,modeling,rough sets | Information system,Decision rule,Petri net,Concurrency,Computer science,Colored petri,Rough set,Theoretical computer science | Conference |
Volume | ISSN | Citations |
6954.0 | 0302-9743 | 1 |
PageRank | References | Authors |
0.36 | 10 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Zbigniew Suraj | 1 | 501 | 59.96 |
Krzysztof Pancerz | 2 | 231 | 42.30 |