Alexander Rein

Learn More
This paper introduces negative application conditions for reconfigurable place/transition nets. These are Petri nets together with a set of rules that allow changing the net and its marking dynamically. Negative application conditions are a control structure that prohibits the application of a rule if certain structures are already existent. We motivate the(More)
Herein is reported the synthesis of ordered mesoporous α-Fe(2)O(3) thin films produced through coassembly strategies using a poly(ethylene-co-butylene)-block-poly(ethylene oxide) diblock copolymer as the structure-directing agent and hydrated ferric nitrate as the molecular precursor. The sol-gel derived α-Fe(2)O(3) materials are highly crystalline after(More)
Acknowledgment I would like to thank PD Dr. habil. Julia Padberg, Leen Lambers and Ulrike Prange for their professional support. In addition, special thanks goes to my lovely girlfriend Sabrina Jury for her big patience and her very big support in numerous areas. Moreover, I would also like to thank my great parents for supporting me in every circumstance.(More)
We present a versatile method for the preparation of mesoporous tin-doped indium oxide (ITO) thin films via dip-coating. Two poly(isobutylene)-b-poly(ethyleneoxide) (PIB-PEO) copolymers of significantly different molecular weight (denoted as PIB-PEO 3000 and PIB-PEO 20000) are used as templates and are compared with non-templated films to clarify the effect(More)
When dealing with highly complex product lines it is usually indispensable to somehow subdivide the overall product line into several smaller, subordinate product lines and to define orthogonal views on the line's variability tailored to particular purposes, such as end-customer configuration. In this article we report on an ongoing research effort for(More)
We present a discussion of various concepts of cellular automata for semiconductor transport in the context of device simulation. A newly developed transformation for the kinetic terms of the Boltzmann equation into deterministic transition rules are found to be superior to probabilistic rules, allowing a complete suppression of statistical errors without(More)
Algebraic higher-order (AHO) net systems are Petri nets with place/ transition systems, i.e. place/transition nets with initial markings, and rules as tokens. In several applications, however, there is the need for explicit data modeling. The main idea of this paper is to introduce AHO net systems with high-level net systems and corresponding rules as(More)
  • 1