会议论文详细信息
| International Workshop on Petri Nets and Software Engineering | |
| From Code to Coloured Petri Nets: Modelling Guidelines | |
| Anna Dedova ; Laure Petrucci | |
| Others : http://ceur-ws.org/Vol-851/paper8.pdf | |
| 来源: CEUR | |
 PDF
|
|
【 摘 要 】
This paper presents a method for designing a coloured Petri net model of a system starting from itshigh-level object oriented source code. The entire process is divided into two parts: grounding and code analysis. For each part detailed step-by-step guidelines are given. The approach is illustrated with an industrial application case study, the NEO protocol.
【 预 览 】
| Files | Size | Format | View |
|---|---|---|---|
| From Code to Coloured Petri Nets: Modelling Guidelines | 2189KB |  download |
878987797
028-85220240
