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

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

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 2018

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

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

1 Citation (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
110 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
68 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

MCC’2017: The Seventh Model Checking Contest

Kordon, F., Garavel, H., Hillah, L. M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., Amparore, E., Beccuti, M., Berthomieu, B., Evrard, H., Jensen, P. G., Le Botlan, D., Liebke, T., Meijer, J., Srba, J., Thierry-Mieg, Y., van de Pol, J. & Wolf, K., 1 Jan 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (eds.). Springer, p. 181-209 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11090 LNCS).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review


Press / Media

Aarhusiansk app hjælper kulturlivet

Peter Gjøl Jensen


1 item of media coverage

Press/Media: Press / Media