- Using a Proactive Sensor-System in the Distributed Environment Model Andreas Hermann1, Stephan Matzka2, and Jorg Desel1
- Symbolic Abstraction and Deadlock-Freeness Verification of Inter-Enterprise Processes
- Executability of Scenarios in Petri Nets Robert Lorenz
- Synchronous + Concurrent + Sequential = Earlier than + Not later than Gabriel Juhas
- Experimental Results on Process Mining Based on Regions of Languages
- Controlling Petri Net Process Models Jorg Desel
- Proceedings of the 2007 Winter Simulation Conference S. G. Henderson, B. Biller, M.-H. Hsieh, J. Shortle, J. D. Tew, and R. R. Barton, eds.
- Fundamenta Informaticae XX (2008) 132 1 Synthesis of Petri Nets from Finite Partial Languages
- Vicinity Respecting Homomorphisms for Abstracting System Requirements
- Synchronous + Concurrent + Sequential = Earlier than + Not later than Gabriel Juhas
- Examples and Proofs: Partial Order Semantics of Types Robert Lorenz1
- Driving Situation Analysis in Automotive Environment Andreas Hermann
- Testing the executability of scenarios in general inhibitor nets Robert Lorenz, Sebastian Mauser, Robin Bergenthum
- Faster Unfolding of General Petri Nets Based on Token Robin Bergenthum, Robert Lorenz, and Sebastian Mauser
- Fundamenta Informaticae XX (2007) 144 1 Causal Semantics of Algebraic Petri Nets distinguishing Concurrency
- Partial Order Semantics of Types of Nets Robert Lorenz1
- Synthesis of Petri Nets for Business Process Design Robin Bergenthum, Jorg Desel, Sebastian Mauser
- Experimental Results on the Synthesis of Petri Nets from Partial Robin Bergenthum, Sebastian Mauser
- Synthesis of Petri Nets from Scenarios with VipTool Robin Bergenthum, Jorg Desel, Robert Lorenz, and Sebastian Mauser
- From Human Knowledge to Process Models Jorg Desel
- Complete Process Semantics for Inhibitor Nets Technical Report
- Fundamenta Informaticae XX (2008) 137 1 Complete Process Semantics of Petri Nets
- On the Reducibility of Persistent Petri Nets and Jorg Desel2
- Fundamenta Informaticae 86 (2008) 117 1 Schedulability Analysis of Petri Nets Based on Structural Properties
- Synthesis of Petri Nets from Infinite Partial Languages Robin Bergenthum, Jorg Desel, Robert Lorenz and Sebastian Mauser
- Complete Process Semantics for Inhibitor Nets Gabriel Juhas2
- Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios
- Testing the executability of scenarios in general inhibitor nets Robert Lorenz, Sebastian Mauser, Robin Bergenthum
- Synthesis of Petri Nets from Finite Partial Languages Robert Lorenz, Robin Bergenthum, Jorg Desel, Sebastian Mauser
- Can I Execute My Scenario In Your Net? VipTool Tells You!
- Synthesis of Petri Nets from Infinite Partial Languages with VipTool
- Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language
- Aggregating views for Petri net model construction
- Towards Applicability of Language Based Synthesis for Process Mining Robin Bergenthum, Robert Lorenz, Sebastian Mauser
- Faster Unfolding of General Petri Nets Robin Bergenthum, Robert Lorenz, Sebastian Mauser
- Variants of the Language Based Synthesis Problem for Petri Nets Sebastian Mauser
- Process Mining Based on Regions of Languages Robin Bergenthum, Jorg Desel, Robert Lorenz, and Sebastian Mauser
- Construction of Process Models from Example Runs Robin Bergenthum1
- Process Mining Based on Regions of Languages Robin Bergenthum, Jorg Desel, Robert Lorenz, and Sebastian Mauser
- Synchronous + Concurrent + Sequential = Earlier than + Not later than Gabriel Juhas
- Experimental Results on Process Mining Based on Regions of Languages
- Testing the executability of scenarios in general inhibitor nets Robert Lorenz, Sebastian Mauser, Robin Bergenthum
- Fundamenta Informaticae XX (2008) 132 1 Synthesis of Petri Nets from Finite Partial Languages
- Experimental Results on the Synthesis of Petri Nets from Partial Robin Bergenthum, Sebastian Mauser
- Symbolic Abstraction and Deadlock-Freeness Verification of Inter-Enterprise Processes
- Executability of Scenarios in Petri Nets Robert Lorenz
- Partial Order Semantics of Types of Nets Robert Lorenz1
- Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios
- Testing the executability of scenarios in general inhibitor nets Robert Lorenz, Sebastian Mauser, Robin Bergenthum
- Process Mining Based on Regions of Languages Robin Bergenthum, Jorg Desel, Robert Lorenz, and Sebastian Mauser
- Examples and Proofs: Partial Order Semantics of Types Robert Lorenz1
- Proceedings of the 2007 Winter Simulation Conference S. G. Henderson, B. Biller, M.-H. Hsieh, J. Shortle, J. D. Tew, and R. R. Barton, eds.
- Synthesis of Petri Nets for Business Process Design Robin Bergenthum, Jorg Desel, Sebastian Mauser
- Towards Applicability of Language Based Synthesis for Process Mining Robin Bergenthum, Robert Lorenz, Sebastian Mauser
- Synchronous + Concurrent + Sequential = Earlier than + Not later than Gabriel Juhas
- Vicinity Respecting Homomorphisms for Abstracting System Requirements
- Fundamenta Informaticae XX (2008) 137 1 Complete Process Semantics of Petri Nets
- Synthesis of Petri Nets from Scenarios with VipTool Robin Bergenthum, Jorg Desel, Robert Lorenz, and Sebastian Mauser
- Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language
- Construction of Process Models from Example Runs Robin Bergenthum1
- Synthesis of Petri Nets from Infinite Partial Languages with VipTool
- Variants of the Language Based Synthesis Problem for Petri Nets Sebastian Mauser
- Faster Unfolding of General Petri Nets Based on Token Robin Bergenthum, Robert Lorenz, and Sebastian Mauser
- Synthesis of Petri Nets from Finite Partial Languages Robert Lorenz, Robin Bergenthum, Jorg Desel, Sebastian Mauser
- Controlling Petri Net Process Models Jorg Desel
- Fundamenta Informaticae XX (2007) 144 1 Causal Semantics of Algebraic Petri Nets distinguishing Concurrency
- On the Reducibility of Persistent Petri Nets and Jorg Desel2
- Aggregating views for Petri net model construction
- Fundamenta Informaticae 86 (2008) 117 1 Schedulability Analysis of Petri Nets Based on Structural Properties
- Synthesis of Petri Nets from Infinite Partial Languages Robin Bergenthum, Jorg Desel, Robert Lorenz and Sebastian Mauser
- Faster Unfolding of General Petri Nets Robin Bergenthum, Robert Lorenz, Sebastian Mauser
- Can I Execute My Scenario In Your Net? VipTool Tells You!
- From Human Knowledge to Process Models Jorg Desel
- Complete Process Semantics for Inhibitor Nets Technical Report
- Process Mining Based on Regions of Languages Robin Bergenthum, Jorg Desel, Robert Lorenz, and Sebastian Mauser
- Complete Process Semantics for Inhibitor Nets Gabriel Juhas2
- Using a Proactive Sensor-System in the Distributed Environment Model Andreas Hermann1, Stephan Matzka2, and Jorg Desel1
- Driving Situation Analysis in Automotive Environment Andreas Hermann
