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%2F00216208%3A11320%2F20%3A10398419" target="_blank" >RIV/00216208:11320/20:10398419 - isvavai.cz</a>

Alternative codes found

RIV/71226401:_____/19:N0100279

Result on the web

<a href="https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=.jGVDZGXf1" target="_blank" >https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=.jGVDZGXf1</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 software systems can be developed by a sequence of transformations fromthe 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 system nodes defined as classical workflow models,and then transform them into a set of Petri netsrepresenting the target system implementation. Such a transformation supportsdevelopment 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 a set of Petri nets, andinterpreted by the set of special Petri Nets Virtual Machines, which are installed on all nodes of the system.The method is illustrated on the example of house heating system.

Czech name

—

Czech description

—

Type

J_ost - Miscellaneous article in a specialist periodical

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

—

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2020

Confidentiality

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

Name of the periodical

Vietnam Journal of Computer Science

ISSN

2196-8888

e-ISSN

—

Volume of the periodical

7

Issue of the periodical within the volume

1

Country of publishing house

VN - VIET NAM

Number of pages

24

Pages from-to

1-24

UT code for WoS article

—

EID of the result in the Scopus database

—