Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

New methods of comprehensive analysis of concurrent computing systems

2013/09/D/ST6/03928

Keywords:

Petri nets traces concurrency modelling multi-core architecture

Descriptors:

  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms
  • ST6_1: Computer architecture, ubiquitous computing
  • ST6_6: Algorithms, parallel, distributed and network algorithms, algorithmic game theory

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

woj. kujawsko-pomorskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr Łukasz Mikulski 

Number of co-investigators in the project: 3

Call: SONATA 5 - announced on 2013-03-15

Amount awarded: 234 470 PLN

Project start date (Y-m-d): 2014-02-18

Project end date (Y-m-d): 2017-08-17

Project duration:: 42 months (the same as in the proposal)

Project status: Project settled

Equipment purchased [PL]

  1. urządzenie mobilne - netbook / tablet (3 szt.) (342 PLN)

Information in the final report

  • Publication in academic press/journals (10)
  • Articles in post-conference publications (13)
  1. Alphabets of acyclic invariant structures
    Authors:
    Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Academic press:
    Fundamenta Informaticae (rok: 2017, tom: 154, strony: 207-224), Wydawca: IOS Press
    Status:
    Published
    DOI:
    10.3233/FI-2017-1562 - link to the publication
  2. Characterising Concurrent Histories
    Authors:
    Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Academic press:
    Fundamenta Informaticae (rok: 2015, tom: 138, strony: 21-42), Wydawca: IOS Press
    Status:
    Published
    DOI:
    10.3233/FI-2015-1212 - link to the publication
  3. Conditions for Petri Net Solvable Binary Words
    Authors:
    Kamila Barylska, Eike Best, Evgeny Erofeev, Łukasz Mikulski, and Marcin Piątkowski
    Academic press:
    Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) (rok: 2016, tom: 11, strony: 137-159), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/978-3-662-53401-4 - link to the publication
  4. Classifying invariant structures of step traces
    Authors:
    Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Academic press:
    Journal of Computer and System Sciences (rok: 2017, ), Wydawca: Elsevier
    Status:
    Accepted for publication
    DOI:
    10.1016/j.jcss.2017.05.002 - link to the publication
  5. GPU computations and memory access model based on Petri nets
    Authors:
    Anna Gogolińska, Łukasz Mikulski, Marcin Piątkowski
    Academic press:
    Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) (rok: 2017, tom: XIII, strony: 136-157), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/978-3-662-58381-4\_7 - link to the publication
  6. An extension of the taxonomy of persistent and nonviolent steps
    Authors:
    Maciej Koutny, Łukasz Mikulski, Marta Pietkiewicz-Koutny
    Academic press:
    Information Sciences (rok: 2017, tom: 394-395, strony: 299-314), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.ins.2017.01.037 - link to the publication
  7. Invariant structures and dependence relations
    Authors:
    Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Academic press:
    Fundamenta Informaticae (rok: 2017, tom: 155, strony: 45320), Wydawca: IOS Press
    Status:
    Published
    DOI:
    10.3233/FI-2017-1574 - link to the publication
  8. Persistent and Nonviolent Steps and the Design of GALS Systems
    Authors:
    Johnson Fernandes, Maciej Koutny, Łukasz Mikulski, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev
    Academic press:
    Fundamenta Informaticae (rok: 2015, tom: 137, strony: 143-170), Wydawca: IOS Press
    Status:
    Published
    DOI:
    10.3233/FI-2015-1172 - link to the publication
  9. On Decidability of Persistence Notions
    Authors:
    Kamila Barylska, Łukasz Mikulski
    Academic press:
    Fundamenta Informaticae (), Wydawca: IOS Press
    Status:
    Submitted
  10. Step Traces
    Authors:
    Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Academic press:
    Acta Informatica (rok: 2015, tom: 53(1), strony: 45322), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s00236-015-0244-z - link to the publication
  1. Generating CA-Plans from Multisets of Services
    Authors:
    Łukasz Mikulski, Artur Niewiadomski, Marcin Piątkowski, Sebastian Smyczyński
    Conference:
    International Workshop on Petri Nets and Software Engineering (rok: 2014, ), Wydawca: University of Hamburg, Department of Informatics
    Data:
    konferencja 23-24.06
    Status:
    Published
  2. On Decidability of Persistent Notions
    Authors:
    Kamila Barylska, Łukasz Mikulski
    Conference:
    24th International Workshop on Concurrency, Specification and Programming (rok: 2015, ), Wydawca: University of Rzeszow
    Data:
    konferencja 28-30 września
    Status:
    Published
  3. GPU computations and memory access model based on Petri nets
    Authors:
    Anna Gogolińska, Łukasz Mikulski, Marcin Piątkowski
    Conference:
    International Workshop on Petri Nets and Software Engineering PNSE'2017 (rok: 2017, ), Wydawca: University of Zaragoza
    Data:
    konferencja 25-26.06.2017
    Status:
    Published
  4. Square-Free Words over Partially Commutative Alphabets
    Authors:
    Łukasz Mikulski, Marcin Piątkowski, Wojciech Rytter
    Conference:
    Language and Automata Theory and Applications (rok: 2015, ), Wydawca: Springer
    Data:
    konferencja 2-6.03
    Status:
    Published
  5. Generating All Minimal Petri Net Unsolvable Binary Words
    Authors:
    Kamila Barylska, Evgeny Erofeev, Łukasz Mikulski, and Marcin Piątkowski
    Conference:
    Prague Stringology Conference (rok: 2016, ), Wydawca: Czech Technical University in Prague
    Data:
    konferencja 29-31 sierpnia 2016
    Status:
    Published
  6. On Generation of Context-Abstract Plans
    Authors:
    Łukasz Mikulski, Artur Niewiadomski, Marcin Piątkowski, Sebastian Smyczyński
    Conference:
    International Conference on Software Engineering and Formal Methods (rok: 2014, ), Wydawca: Springer
    Data:
    konferencja 1-5.09
    Status:
    Published
  7. On synthesising step alphabets for acyclic invariant structures
    Authors:
    Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Conference:
    Algorithms & Theories for the Analysis of Event Data (ATAED'2017) (rok: 2017, ), Wydawca: University of Zaragoza
    Data:
    konferencja 26-27.06.2017
    Status:
    Published
  8. Reversible Computation vs. Reversibility in Petri Nets
    Authors:
    Kamila Barylska, Maciej Koutny, Łukasz Mikulski, and Marcin Piątkowski
    Conference:
    8th Conference on Reversible Computation (rok: 2016, ), Wydawca: Springer
    Data:
    konferencja 7-8 lipca 2016
    Status:
    Published
  9. On Binary Words Being Petri Net Solvable
    Authors:
    Kamila Barylska, Eike Best, Evgeny Erofeev, Łukasz Mikulski, Marcin Piątkowski
    Conference:
    Algorithms & Theories for the Analysis of Event Data 2015 (rok: 2015, ), Wydawca: Université libre de Bruxelles
    Data:
    konferencja 22 czerwca
    Status:
    Published
  10. Order Structures for Subclasses of Generalised Traces
    Authors:
    Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Conference:
    Language and Automata Theory and Applications (rok: 2015, ), Wydawca: Springer
    Data:
    konferencja 2-6.03
    Status:
    Published
  11. Persistency and Nonviolence Decision Problems in P/T-Nets with Step Semantics
    Authors:
    Kamila Barylska
    Conference:
    International Workshop on Petri Nets and Software Engineering (rok: 2014, ), Wydawca: University of Hamburg, Department of Informatics
    Data:
    konferencja 23-24.06
    Status:
    Published
  12. Reduction of order structures
    Authors:
    Łukasz Mikulski, Andrey Mokhov, Marcin Piątkowski
    Conference:
    17th International Conference on Application of Concurrency to System Design, ACSD 2017 (rok: 2017, ), Wydawca: IEEE Computer Society
    Data:
    konferencja 28-30.06.2017
    Status:
    Published
  13. Reversing Transitions in Bounded Petri Nets
    Authors:
    Kamila Barylska, Evgeny Erofeev, Maciej Koutny, Łukasz Mikulski, and Marcin Piątkowski
    Conference:
    25th International Workshop on Concurrency, Specification and Programming (CS&P 2016) (rok: 2016, ), Wydawca: Humboldt Universitat
    Data:
    konferencja 28-30 września
    Status:
    Published