|
| next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 1 of 7 found articles
| Title: |
A Petri Net Interpretation of Open Reconfigurable Systems |
| Author: |
Peschanski, Frédéric Klaudel, Hanna Devillers, Raymond |
| Appeared in: |
Fundamenta informaticae |
| Paging: | Volume 122 (2013) nr. 1-2 pages 85-117 |
| Year: |
2013-04-05 |
| Contents: |
We present a Petri net interpretation of the pi-graphs - a graphical variant of the picalculus where recursion and replication are replaced by iteration. The concise and syntax-driven translation can be used to reason in Petri net terms about open reconfigurable systems. We demonstrate that the pi-graphs and their translated high-level Petri nets agree at the semantic level. In consequence, existing results on pi-graphs naturally extend to the translated Petri nets, most notably a guarantee of finiteness by construction. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 1 of 7 found articles
| next >> |