![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science](https://i1.rgstatic.net/ii/profile.image/272520880324611-1441985449206_Q128/Jaco_Pol.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science](https://www.researchgate.net/profile/Kannan_Govindaraj/publication/337891794/figure/fig3/AS:861018418868225@1582294196147/Dose-dependent-effects-of-combinations-of-two-extra-cellular-ligands-The-initial_Q320.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science](https://www.researchgate.net/publication/305671137/figure/tbl1/AS:670393174081561@1536845596767/Comparison-between-ANIMO-and-some-existing-approaches-to-modelling-biological-systems_Q320.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science](https://www.researchgate.net/publication/333506625/figure/fig3/AS:764484788432902@1559278785996/Black-box-checking-algorithm-in-the-LearnLib_Q320.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science](https://www.researchgate.net/profile/Wil_Aalst/publication/326947562/figure/fig2/AS:843299300593664@1578069629105/Path-construction-using-Algorithm-1-on-the-example-from-Fig-2-for-a-maximum-fitting_Q320.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science](https://www.researchgate.net/publication/331328952/figure/tbl2/AS:752727911063562@1556475727193/Geometric-mean-sizes-of-the-automata-and-products_Q320.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science](https://www.researchgate.net/profile/Bernard_Berthomieu/publication/329011665/figure/fig3/AS:693794517295107@1542424911817/Example-Model-Petri-Net-left-and-Dependency-Matrix-right_Q320.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science](https://www.researchgate.net/profile/Wil_Aalst/publication/326947562/figure/fig1/AS:843299300585472@1578069629068/Example-Petri-net-model-left-its-corresponding-marking-graph-middle-and-transitive_Q320.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science](https://i1.rgstatic.net/ii/profile.image/943542146985987-1601969386215_Q128/Kirstine_Ellekjaer2.jpg)