Dataflow in colored Petri nets and in actors-oriented workflow graphs

Adaptive technologies applied to flexibilization of artificial neural networks and...

ChipCflow - tool for implementing of algorithms using the dataflow model in dynamic...

A tool for algorithms implementation using the dynamic data flow model in reconfigurable...

Air conditioning control systems modelling using Petri nets

Aplication of interpreted Petri nets for modelling elevators systems in intelligent...

Test case extraction using hierarchical Petri Nets and results validation using ...

Conversion from colored Petri nets into Markov decision processes with imprecise...

Modeling flexible systems of materials movement using interpreted Petri nets

Analysis of performance of protocol CAN for agricultural field application using...