Name
Year | Venue | Keywords |
|---|---|---|
2000 | Journal of Research and Practice in Information Technology | place/transition nets,reachability analysis,compositional analysis,petri net slice,petri nets,structural concurrency. classification of the paper: software-software engineering-software/program verification-formal methods |
DocType | Volume | Issue |
Journal | 32 | 2 |
Citations | PageRank | References |
12 | 0.74 | 15 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Woojin Jin | 1 | 144 | 22.37 |
| Sung Deok Cha | 2 | 381 | 29.92 |
| Yong Rae Kwon | 3 | 1031 | 50.37 |
| H. N. Kim | 4 | 12 | 0.74 |