Syntesis of Petri Nets based form nonsequential scenariosSupervisor: prof. RNDr. Gabriel Juhás, PhD.
This page shows details on the project. The primary projects are displayed together with a list of sub-projects.
|Project description:||The petri Nets represent of the most sucessful formalisms enabling the description of causal behavior in distributed systems with formulation of independence and asynchronicity of activities and events. The traditional form of system design with model utilization. The behavior model is generated and it s prperties are examined. More natural way appears in reverse approach-formalization of expected system model behavior and afterwards it s automated. The objective of this project is development of this of algorithms.|
|Kind of project:||VEGA ()|
|Department:||Department of applied informatics and information technology (FEEIT)|
|Project status:||Successfully completed|
|Project start date :||01. 01. 2008|
|Project close date:||31. 12. 2010|
|Number of workers in the project:||2|
|Number of official workers in the project:||0|