Service-oriented computing provides a suitable technological foundation for developing and executing dynamic business processes. However, most current approaches for composition languages and architectures for dynamic process integration do not provide the flexibility and dynamism required by interorganisational evolving environments. In this work, the DENEB platform for the development and exe...

Nested Petri nets (NP-nets) is an extension of the Petri nets formalism within the nets-within-nets approach, allowing to model systems of interacting dynamic agents in a natural way. One of the main problems in verifying of such systems is the State Explosion Problem. To tackle this problem for highly concurrent systems the unfolding method has proved to be very helpful. In this paper we conti...

in order to study the effects of shading on head and its near leaves on yield and yield components of spring safflower genotypes, an experiment was conducted in factorial arrangement based on a complete randomized block design with four replications at agricultural research station, faculty of agriculture, birjand university during 2008. factors were including three spring safflower genotypes (...

Thyme, mint, and lemon balm were used to determine whether shading conditions could improve the yield, composition, antioxidant, antimicrobial activity in plant essential oils (EOs) comparison with non-shaded plants from an open field. The yield of EOs thyme, balm, was 3.44, 3.96, 0.21 mL/100 g, respectively. Plants covered by nets produced different levels (3.46, 2.20, 0.45 g) after 120 min hy...

Nested Petri nets (NP-nets) is an extension of the Petri nets formalism within the “nets-within-nets” approach, when tokens in a marking are themselves Petri nets which have autonomous behavior and synchronize with the system net. The formalism of NP-nets allows modeling multi-level multi-agent systems with a dynamic structure in a natural way. In this paper we define branching processes and un...

Petri hypernets, a novel framework for modeling mobile agents based on nets-within-nets paradigm is presented. Hypernets employ a local and finitary character of interactions between agents, and provide means for a modular and hierarchical description. They are capable of modelling mobile agents tfrahat can dynamically change their hierarchy, and can communicate with each other and with the out...

In this article I will prove undecidability results for elementary object net systems (Eos). Object nets are Petri nets which have Petri nets as tokens – an approach which is called the “nets-within-nets” paradigm. Eos are special object net system which have a two leveled structure.