Concepedia

Agnieszka Biernacka

AB

Statistics

Publications

3

Citations

47

H-Index

3

Active since

2014

Affiliations

AGH University of Krakow(Current)

Agnieszka Biernacka is an author at AGH University of Krakow specializing in petri net models, computing, and petri nets.

Publications per year

2014–2016

3

Publications

3

Methods of Translation of Petri Nets to NuSMV Language.

Marcin Szpyrka, Agnieszka Biernacka, Jerzy Biernacki · 2014 · 24 citations

, , +16

Hierarchical Communication Diagrams

Marcin Szpyrka, Piotr Matyasik, Jerzy Biernacki et al. · Computing and Informatics / Computers and Artificial Intelligence · 2016 · 12 citations

, , +17

Tools and Methods for RTCP-Nets Modeling and Verification

Marcin Szpyrka, Jerzy Biernacki, Agnieszka Biernacka · Archives of Control Sciences · 2016 · 11 citations · Full text

, , +15

1–3 of 3