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”
EN
ČeštinaEnglish

Filters

263 (0,173s) •

Project

Multiagent approach in designing enterprise systems (7AMB14PL029)

computing environments using the theory of process algebras and high-level Petri nets. 2 the theory of Enterprise ontology and high-level Petri nets. 3. Development......

IN - Informatika

  • 2014 - 2015
    • •
  • 36 tis. Kč
    • •
  • 36 tis. Kč
    • •
  • MŠMT
Project

Modelling, verifying and prototyping distributed applications using Petri nets (GA102/00/1017)

The project builds upon the original mathematical concept of object-oriented Petri nets (OOPNs) which has been proposed at the Department of Computer Science and Engineering of the Technical University in Brno and which combines adv...

JC - Počítačový hardware a software

  • 2000 - 2002
    • •
  • 2 311 tis. Kč
    • •
  • 1 961 tis. Kč
    • •
  • GA ČR
Project

Transferring European Fieldbus Technology to Countries of Central Europe (OK 336)

realization of demonstrator for multi-vendor control system for flexible manufacture, hardware development of SPC3 and LSPM2 based Profibus DP slave cards , hardware development of LonWorks cards software development of Profibus DP master, foundation...

JD - Využití počítačů, robotika a její aplikace

  • 1998 - 1999
    • •
  • 1 900 tis. Kč
    • •
  • 500 tis. Kč
    • •
  • MŠMT
Project

Continuous systems with synchronization and linear integral equations with special kernels (IAC1019007)

be represented by continuous extensions of Petri net models, like continuous Petri nets (CPN...

BA - Obecná matematika

  • 2000 - 2000
    • •
  • 156 tis. Kč
    • •
  • 63 tis. Kč
    • •
  • AV ČR
Project

Automated methods and tools supporting development of reliable concurrent and distributed systems (GA102/04/0780)

degree upon the original formal model of object-oriented Petri nets that has been of theBrno University of Technology and that combines advantages of high-level Petri nets......

JC - Počítačový hardware a software

  • 2004 - 2006
    • •
  • 2 085 tis. Kč
    • •
  • 2 085 tis. Kč
    • •
  • GA ČR
Project

Methods and Tools for Automated Bug Detection in Software (GP102/06/P076)

with the formalism of Object-Oriented Petri Nets which has been developed at applicant's home...

JC - Počítačový hardware a software

  • 2006 - 2008
    • •
  • 711 tis. Kč
    • •
  • 711 tis. Kč
    • •
  • GA ČR
Project

Research and applications of heterogenous models (GA102/98/0552)

design, artificial intelligence, neural nets and fuzzy logic, Petri nets, modern...

JB - Senzory, čidla, měření a regulace

  • 1998 - 2000
    • •
  • 3 636 tis. Kč
    • •
  • 3 551 tis. Kč
    • •
  • GA ČR
Project

Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems (GC19-06175J)

and coordination control of timed DES modeled by timed Petri nets or by (max,+)-automata....

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

  • 2019 - 2022
    • •
  • 4 381 tis. Kč
    • •
  • 4 183 tis. Kč
    • •
  • GA ČR
Project

Automated Verification of Parallel and Distributed Systems (GA201/03/0509)

for more effective verification algorithms will be investigated (e.g. 1-safe Petri Nets...

BA - Obecná matematika

  • 2003 - 2005
    • •
  • 3 254 tis. Kč
    • •
  • 1 175 tis. Kč
    • •
  • GA ČR
Project

Abstract interpretation and verification of boolean regulatory networks (8J18FR045)

Analysis of dynamical systems by means of suitable computational models is one of the cornerstones of systems biology paradigm. Motivation for using formal methods based in computer science comes from the fact that biological systems can be understoo...

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

  • 2018 - 2019
    • •
  • 108 tis. Kč
    • •
  • 98 tis. Kč
    • •
  • MŠMT
  • 1 - 10 out of 263