• Selma Lagerløfs Vej 300, 1-2-16

    9220 Aalborg Ø

    Denmark

20142019
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 journalJournal articleResearchpeer-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 journalJournal articleResearchpeer-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 journalJournal articleResearchpeer-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/ReportPh.D. thesisResearch

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 proceedingArticle in proceedingResearchpeer-review

Open Access
File

Press / Media

Kunstig intelligens forbedrer virtuelle tests

Peter Gjøl Jensen

27/06/2019

3 items of Media coverage

Press/Media: Press / Media

Aarhusiansk app hjælper kulturlivet

Peter Gjøl Jensen

17/11/2015

1 item of Media coverage

Press/Media: Press / Media