4 citations · 4 across the 5 of their papers we have counts for
5 papers
Resolve the lightcone singularity and extend the SO(3,1)-action
Joachim Wehler
Papadopoulos showed in 2021: The action of the Lorentz group SO(3,1) on the lightcone of Minkowski space lifts to an SO(3,1)-action on the blow-up of the lightcone. From this, he d…
Perpetual Free-choice Petri nets are lucent -- proof of a theorem of van der Aalst using CP-exhaustions
Joachim Wehler
Van der Aalst's theorem is an important result for the analysis and synthesis of process models. The paper proves the theorem by exhausting perpetual free-choice Petri nets by CP-s…
Model Checking of Boolean Process Models
Christoph Schneider, Joachim Wehler
In the field of Business Process Management formal models for the control flow of business processes have been designed since more than 15 years. Which methods are best suited to v…
Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems
Joachim Wehler
Bipolar synchronization systems (BP-systems) constitute a class of coloured Petri nets, well suited for modeling the control flow of discrete, dynamical systems. Every BP-system ha…
Morphisms of Coloured Petri Nets
Joachim Wehler
We introduce the concept of a morphism between coloured nets. Our definition generalizes Petris definition for ordinary nets. A morphism of coloured nets maps the topological space…