Jan 23, 2020   2:26 p.m. Miloš
Academic information system


Syntesis of Petri Nets based form nonsequential scenarios

Supervisor: prof. RNDr. Gabriel Juhás, PhD.

Basic information   Workers      

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 identification:1/0872/08
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