We are improving our search experience.

As we work to add all features, to check which content you have full access to, or for advanced search, go back to the old search.

Search

Please fill in this field.

Search Results

Showing 1-20 of 95 results

  1. Transactions on Petri Nets and Other Models of Concurrency XVII

    Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) XVII. These Transactions publish archival papers in the broad area of Petri nets...

    Maciej Koutny, Robin Bergenthum, Gianfranco Ciardo in Lecture Notes in Computer Science
    Book 2024

  2. Transactions on Petri Nets and Other Models of Concurrency XVI

    The 16th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 41st...

    Maciej Koutny, Fabrice Kordon, Daniel Moldt in Lecture Notes in Computer Science
    Book 2022

  3. Correction to: Transactions on Petri Nets and Other Models of Concurrency XV

    The original version of this publication was revised. The affiliation of Lucia Pomello was corrected to “Università degli Studi di Milano-Bicocca,...
    Maciej Koutny, Fabrice Kordon, Lucia Pomello in Transactions on Petri Nets and Other Models of Concurrency XV
    Chapter 2021

  4. Transactions on Petri Nets and Other Models of Concurrency XV

    The 15th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 40th...

    Maciej Koutny, Fabrice Kordon, Lucia Pomello in Lecture Notes in Computer Science
    Book 2021

  5. Transactions on Petri Nets and Other Models of Concurrency XIV

    The 14th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 39th...
    Maciej Koutny, Lucia Pomello, Lars Michael Kristensen in Lecture Notes in Computer Science
    Book 2019

  6. Transactions on Petri Nets and Other Models of Concurrency XIII

    The 13th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 38th International...

    Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek in Lecture Notes in Computer Science
    Book 2018

  7. Transactions on Petri Nets and Other Models of Concurrency XII

    The 12th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 37th International...

    Maciej Koutny, Jetty Kleijn, Wojciech Penczek in Lecture Notes in Computer Science
    Book 2017

  8. Integration Patterns and Processes

    This chapter introduces and formally defines the basic building blocks when designing, implementing, and executing application integration processes...
    Stefanie Rinderle-Ma, Jürgen Mangler, Daniel Ritter in Fundamentals of Information Systems Interoperability
    Chapter 2024

  9. Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata

    We study semi-algorithms to synthesise the constraints under which a Parametric Timed Automaton satisfies some liveness requirement. The algorithms...
    Étienne André, Jaime Arias, ... Jaco van de Pol in Tools and Algorithms for the Construction and Analysis of Systems
    Conference paper Open access 2021

  10. Transactions on Petri Nets and Other Models of Concurrency XI

    The 11th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 36th International...

    Maciej Koutny, Jörg Desel, Jetty Kleijn in Lecture Notes in Computer Science
    Book 2016

  11. A Template for Categorizing Business Processes in Empirical Research

    Empirical research is becoming increasingly important for understanding the practical uses of and problems with business processes technology in the...
    Daniel Lübke, Ana Ivanchikj, Cesare Pautasso in Empirical Studies on the Development of Executable Business Processes
    Chapter 2019

  12. Prozessketten in der Logistik

    Das Denken in Prozessen löst die durch starre Hierarchiemuster geprägte Aufbauorganisation durch eine an bereichsübergreifenden Prozessen...
    Rainer Lasch in Strategisches und operatives Logistikmanagement: Prozesse
    Chapter 2021

  13. Transactions on Petri Nets and Other Models of Concurrency X

    These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool...
    Maciej Koutny, Jörg Desel, Serge Haddad in Lecture Notes in Computer Science
    Book 2015

  14. Process mining applications in software engineering

    Process mining is a field that uses elements from data mining and business process modeling to do tasks such as process discovery, conformance...
    Brian Keith, Vianca Vega in Trends and Applications in Software Engineering
    Conference paper 2017

  15. Transactions on Petri Nets and Other Models of Concurrency IX

    These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool...
    Maciej Koutny, Serge Haddad, Alex Yakovlev in Lecture Notes in Computer Science
    Book 2014

  16. Fundamental Conceptual Modeling Languages in OMiLAB

    Regardless of the application domain, both the analysis of existing systems and the creation of new systems benefit extensively from having the...
    Dimitris Karagiannis, Robert Andrei Buchmann, ... Michael Walch in Domain-Specific Conceptual Modeling
    Chapter 2016

  17. Symbolic Model-Checking Using ITS-Tools

    We present verification toolset ITS-tools, featuring a symbolic model-checking back-end engine based on hierarchical set decision diagrams (SDD) that...
    Yann Thierry-Mieg in Tools and Algorithms for the Construction and Analysis of Systems
    Conference paper 2015

  18. Context-Sensitive Textual Recommendations for Incomplete Process Model Elements

    Many organizations manage repositories of several thousand process models. It has been observed that a lot of these models have quality issues. For...
    Fabian Pittke, Pedro H. Piccoli Richetti, ... Fernanda Araujo Baião in Business Process Management
    Conference paper 2015

  19. Fixed-Point Methods in Parametric Model Checking

    We present a general framework for the synthesis of the constraints under which the selected properties hold in a class of models with discrete...
    Michał Knapik, Wojciech Penczek in Intelligent Systems'2014
    Conference paper 2015

  20. Transactions on Petri Nets and Other Models of Concurrency VII

    These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool...
    Kurt Jensen, Wil M. P. Aalst, ... Karsten Wolf in Lecture Notes in Computer Science
    Conference proceedings 2013