Using a Proactive Sensor-System in the Distributed Environment Model (2009)
Andreas Hermann, Stephan Matzka, Jörg Desel
Abstract — In this paper we present the usage of the Distributed Environment Model (DEM) to supply a proactive sensor system. The proactive sensor-system is a novel approach which combines...
Construction of process models from example runs (2009)
Bergenthum, Robin, Desel, Jörg, Mauser, Sebastian, Lorenz, Robert
Executability of scenarios in Petri Nets (2009)
Lorenz, Robert, Juhás, Gabriel, Bergenthum, Robin, Desel, Jörg, Mauser, Sebastian
Formalization and Validation An Iterative Process in Model Synthesis (2008)
ABSTRACT. This work considers model synthesis and validation in controller design. The problem we are interested in is to derive a formal model of a controlled automation system from a semi-formal...
Comparing Heuristics for Model Based Testsuite Generation (2008)
Modellbasierte Entwicklung, Informatik Bericht, Tu Braunschweig, Jörg Desel, Matthias Gehrke, Petra Nawratil, ...
Michael von der Beek............................................................................................ 1 Einsatz von Modell-basierten Entwicklungstechniken in sicherheitsrelevanten...
Can I Execute My Scenario In Your Net? VipTool Tells You! (2008)
Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz
Abstract. This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given by a...
Process Mining Based on Regions of Languages (2008)
Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
Abstract. In this paper we give an overview, how to apply region based methods for the synthesis of Petri nets from languages to process mining. The research domain of process mining aims at...
Process Mining Based on Regions of Languages (2008)
Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
Abstract. In this paper we give an overview, how to apply region based methods for the synthesis of Petri nets from languages to process mining. The research domain of process mining aims at...
Synthesis of Petri nets from finite partial languages (2008)
Bergenthum, Robin, Desel, Jörg, Lorenz, Robert, Mauser, Sebastian
Schedulability analysis of Petri nets based on structural properties (2008)
Liu, Cong, Kondratyev, Alex, Watanabe, Yosinori, Desel, Jörg, Sangiovanni-Vincentelli, Alberto
Synthesis of Petri nets from infinite partial languages (2008)
Bergenthum, Robin, Desel, Jörg, Lorenz, Robert, Mauser, Sebastian
Synthesis of Petri Nets from Scenarios with VipTool (2008)
Bergenthum, Robin, Desel, Jörg, Lorenz, Robert, Mauser, Sebastian
Experimental results on process mining based on regions of languages (2008)
Bergenthum, Robin, Desel, Jörg, Kölbl, Christian, Mauser, Sebastian
A Test Case Generator for the Validation of High-Level Petri Nets (2007)
Jörg Desel, Andreas Oberweis, Torsten Zimmer, Gabriele Zimmermann
Test concepts mostly refer to program code and not to models used in earlier stages of the software development process. High-level Petri nets are a widely accepted graphical language for the...
A partial-order-based simulation and validation approach for high-level Petri nets. (2007)
Desel, Jörg, Freytag, Thomas, Oberweis, Andreas, Zimmer, Torsten
Validation of information system models: Petri nets and test case generation. (2007)
Desel, Jörg, Oberweis, Andreas, Zimmer, Torsten, Zimmermann, Gabriele
VIPtool: a partial order based simulation tool for high-level Petri nets [online]. (2007)
Desel, Jörg, Freytag, Thomas, Oberweis, Andreas, Zimmer, Torsten
A test case generator for the validation of high-level Petri nets. (2007)
Desel, Jörg, Oberweis, Andreas, Zimmer, Torsten, Zimmermann, Gabriele
Process mining based on regions of languages (2007)
Bergenthum, Robin, Desel, Jörg, Lorenz, Robert, Mauser, Sebastian
Synthesis of Petri nets from finite partial languages (2007)
Lorenz, Robert, Bergenthum, Robin, Desel, Jörg, Mauser, Sebastian
Technical Report including proofs: Process Mining Based on Regions of Languages (2007)
Bergenthum, Robin, Desel, Jörg, Lorenz, Robert, Mauser, Sebastian
Schedulability Analysis of Petri Nets Based on Structural Properties (2006)
Liu, Cong, Kondratyev, Alex, Watanabe, Yosinori, Desel, Jörg, Sangiovanni-Vincentelli, Alberto
Can I execute my Scenario in your Net? VipTool tells you! (2006)
Lorenz, Robert, Bergenthum, Robin, Desel, Jörg, Juhás, Gabriel
Werkzeuge Für Petrinetze, Christian Stahl, Jörg Desel, Gabriel Juhas Eichstätt, Peter Kemper Dortmund, ...
Proceedings
Modelling and validation with VipTool (2003)
VipTool was originally developed at the University of Karlsruhe within the research project VIP 1 [2]. It is a tool for modelling, simulation, validation and verification of processes using Petri...
On the Semantics of EPCs: A Vicious Circle (2002)
Abstract: Recently, Nüttgens and Rump proposed a formal semantics for Event driven Process Chains (EPCs), which should be fully compliant with the informal semantics of EPCs. But, their semantics...
On the Semantics of EPCs: A Vicious Circle (2002)
Abstract: Recently, Nüttgens and Rump proposed a formal semantics for Event driven Process Chains (EPCs), which should be fully compliant with the informal semantics of EPCs. But, their semantics...
What is a Petri net? Informal answers for the informed reader (2001)
Abstract. The increasing number of Petri net variants naturally leads to the question whether the term “Petri net ” is more than a common name for very different concepts. This contribution tries...
Unifying Petri nets with restricted occurrence rule using partial algebra (2001)
Jörg Desel, Gabriel Juhás, Robert Lorenz, Lehrstuhl Für Angewandte
The aim of this paper is to present a unifying concept for Petri nets with restricted occurrence rule, to obtain non-sequential semantics in a systematic way. It is shown that partial algebra is a...
VIPtool: a partial order based simulation tool for high-level Petri nets [online]. (1998)
Desel, Jörg, Freytag, Thomas, Oberweis, Andreas, Zimmer, Torsten
Beyond Asymmetric Choice: A note on some extensions (1998)
this paper, we explore further generalizations of asymmetric choice nets. In an asymmetric choice net, it is not allowed that two transitions compete for a token in a shared input place while they...
Proving Correctness of Distributed Algorithms A Petri Net Approach (1998)
In this paper we argue that high-level Petri nets are well suited for the representation of distributed algorithms as well as for correctness proofs. A variant of Raymond's message-passing...
Petri Nets and Business Process Management (1998)
Jörg Desel, Andreas Oberweis, Wolfgang Reisig, Grzegorz Rozenberg
ion morphisms: Lakos 1997) We stress that we aim at less but powerful principles, that we set out to trace their consequences as far as possible and that we want to formalize them by mathematical...
A partial-order-based simulation and validation approach for high-level Petri nets. (1997)
Desel, Jörg, Freytag, Thomas, Oberweis, Andreas, Zimmer, Torsten
A test case generator for the validation of high-level Petri nets. (1997)
Desel, Jörg, Oberweis, Andreas, Zimmer, Torsten, Zimmermann, Gabriele
Validation of information system models: Petri nets and test case generation. (1997)
Desel, Jörg, Oberweis, Andreas, Zimmer, Torsten, Zimmermann, Gabriele
A partial-order-based simulation and validation approach for high-level Petri nets (1997)
Jörg Desel, Thomas Freytag, Andreas Oberweis, Torsten Zimmer
This contribution describes a simulation concept for systems modelled by high-level Petri nets based on partial-order semantics. The main advantage of this approach is its ability to represent and...
Causal-Semantic-Based Simulation And Validation Of High-Level Petri Nets (1997)
Jörg Desel, Thomas Freytag, Andreas Oberweis
This contribution describes a simulation concept for systems modelled by high level Petri nets that is based on causal semantics. Dynamic properties can be checked by evaluating these...
Validation of Information System Models: Petri Nets and Test Case Generation (1997)
Jörg Desel, Andreas Oberweis, Torsten Zimmer, Gabriele Zimmermann
High-level Petri nets are a graphical language for the modeling of distributed information systems. Petri nets can be validated by simulation. In this paper, a technique is proposed which generates...
Petrinetzmodelle zur Verifikation Verteilter Algorithmen (1996)
Walter, Rolf, Völzer, Hagen, Vesper, Tobias, Reisig, Wolfgang, Kindler, Ekkart, Freiheit, Jörn, ...
Petrinetzmodelle zur Verifikation Verteilter Algorithmen (1996)
Walter, Rolf, Völzer, Hagen, Vesper, Tobias, Reisig, Wolfgang, Kindler, Ekkart, Freiheit, Jörn, ...
Simulation-Based Analysis Of Distributed Information System Behaviour (1996)
Jörg Desel, Andreas Oberweis, Torsten Zimmer
Simulation-based analysis of formal models of distributed systems with respect to certain required system properties often fails due to the large number of possible execution sequences. In general,...