All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Model Transformations via XSLT

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F17%3APU130779" target="_blank" >RIV/00216305:26230/17:PU130779 - isvavai.cz</a>

  • Alternative codes found

    RIV/68407700:21230/17:00311435

  • Result on the web

  • DOI - Digital Object Identifier

Alternative languages

  • Result language

    angličtina

  • Original language name

    Model Transformations via XSLT

  • Original language description

    Many present systems are conceived as a set of autonomous agents that communicate together in solving problems. Petri nets are commonly used for a specification of parallel systems. An interesting question is whether we can implement arbitrary system by a set of Petri nets agents. These agents could be specified by Petri nets, but such a description is not sufficiently user-friendly. Our idea is to define these 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 net of the resulting system is translated into a specific target representation called Petri Nets Byte Code (PNBC). These codes are interpreted by the special Petri Nets Virtual Machines (PNVM), which are installed on all nodes of the system under the Petri Nets Operating System (PNOS). This paper deals with the one step of this process, which is an implementation of required transformations from workflow model into Petri nets with the help of XSLT.

  • Czech name

  • Czech description

Classification

  • Type

    D - Article in proceedings

  • CEP classification

  • OECD FORD branch

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

Result continuities

  • Project

  • Continuities

    S - Specificky vyzkum na vysokych skolach

Others

  • Publication year

    2017

  • Confidentiality

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

Data specific for result type

  • Article name in the collection

    DATESO 2017

  • ISBN

    978-80-01-06138-1

  • ISSN

  • e-ISSN

  • Number of pages

    12

  • Pages from-to

    43-54

  • Publisher name

    Faculty of Electrical Engineering, Czech Technical University

  • Place of publication

    Praha

  • Event location

    Jihlava

  • Event date

    Apr 10, 2017

  • Type of event by nationality

    EUR - Evropská akce

  • UT code for WoS article