Peter Gjøl Jensen

Assistant Professor, Department of Computer Science
Assistant Professor, The Technical Faculty of IT and Design
Distributed, Embedded and Intelligent Systems

https://orcid.org/0000-0002-9320-9991

Phone6154 7278, 9940 7223
Emailpgj@cs.aau.dk

Selma Lagerløfs Vej 300, 1-2-16
9220 Aalborg Ø
Denmark

If you made any changes in Pure these will be visible here soon.

Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

Petri nets Engineering & Materials Science

Model checking Engineering & Materials Science

Controllers Engineering & Materials Science

Hybrid systems Engineering & Materials Science

Temporal logic Engineering & Materials Science

Query languages Engineering & Materials Science

edition Social Sciences

Scalability Engineering & Materials Science

Network Dive into details by clicking on the dots.

Research Output 2014 2019

13 Article in proceeding
3 Journal article
1 Ph.D. thesis
1 Book chapter

Stubborn versus structural reductions for Petri nets

Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 2019, In : Journal of Logical and Algebraic Methods in Programming. 102, p. 46-63 18 p.

Research output: Contribution to journal › Journal article › Research › peer-review

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs

Dalsgaard, A. E., Enevoldsen, S., Fogh, P., Jensen, L. S., Jensen, P. G., Jepsen, T. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M., Olesen, M. C., Pastva, S. & Srba, J., 2018, In : Fundamenta Informaticae. 161, 4, p. 351-381

Research output: Contribution to journal › Journal article › Research › peer-review

2 Citations (Scopus)

Discrete and Continuous Strategies for Timed-Arc Petri Net Games

Jensen, P. G., Larsen, K. G. & Srba, J., 2018, In : International Journal on Software Tools for Technology Transfer. 20, 5, p. 529–546 18 p.

Research output: Contribution to journal › Journal article › Research › peer-review

Petri nets

Controllers

149 Downloads (Pure)

Efficient Analysis and Synthesis of Complex Quantitative Systems

Jensen, P. G., 2018, Aalborg Universitetsforlag. 227 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/Report › Ph.D. thesis › Research

Open Access

File

1 Citation (Scopus)

157 Downloads (Pure)

Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU

Nyman, U., Jensen, P. G., Larsen, K. G. & Legay, A., 15 Feb 2018, 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, November 5-8, 2017. IEEE, p. 11-19 9 p.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Open Access

File