Search
Search Results
-
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...
-
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...
-
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,... -
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...
-
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... -
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...
-
Integration Patterns and Processes
This chapter introduces and formally defines the basic building blocks when designing, implementing, and executing application integration processes... -
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...
-
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... -
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...
-
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... -
Prozessketten in der Logistik
Das Denken in Prozessen löst die durch starre Hierarchiemuster geprägte Aufbauorganisation durch eine an bereichsübergreifenden Prozessen... -
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... -
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... -
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... -
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... -
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... -
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... -
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... -
Identifying Quality Issues in BPMN Models: an Exploratory Study
Even though considerable progress regarding the technical perspective on modeling and supporting business processes has been achieved, it appears...