Information Systems Development with the help of Petri Nets

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F71226401%3A_____%2F19%3AN0100279" target="_blank" >RIV/71226401:_____/19:N0100279 - isvavai.cz</a>
Alternative codes found
RIV/00216208:11320/20:10398419
Result on the web
<a href="https://www.worldscientific.com/doi/abs/10.1142/S2196888820500025" target="_blank" >https://www.worldscientific.com/doi/abs/10.1142/S2196888820500025</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1142/S2196888820500025" target="_blank" >10.1142/S2196888820500025</a>

Result language
angličtina
Original language name
Information Systems Development with the help of Petri Nets
Original language description
Many present systems can be developed by a sequence of transformations from the source specification to the final implementation. An interesting question is whether we can support such a sequence of transformations by some formal apparatus that enables to verify succeeding steps of development, and finally also the whole development process. As an example, we use the transformation of a definition of the set of autonomous agents by classical workflow models and then transform them into a set of Petri nets. Such transformation would support development of software systems, whose specification is based on classical workflow models, but the implementation is based on Petri nets. Each part of the designed system is translated from workflow model into Petri nets, and interpreted by the special Petri Nets Virtual Machines, which are installed on all nodes of the system.
Czech name
—
Czech description
—

Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)