Learn More
Flower scent is a highly dynamic trait, under developmental, spatial, and diurnal regulation. The mechanism governing scent production is only beginning to be unraveled. In petunia (Petunia hybrida), EMISSION OF BENZENOIDS II (EOBII) controls transcription of both the shikimate pathway-regulating MYB factor ODORANT1 (ODO1) and phenylpropanoid scent-related(More)
The development of provably error-free concurrent systems is still a challenge of practical system engineering. Modelling and analysis of concurrent systems by means of Petri nets is one of the well-known approaches using formal methods. Among those Petri net analysis techniques suitable for strong verification purposes there is an increasing amount of(More)
  • 1