A model of P systems with symport / antiport rules is given in terms of hypernets, a generalization of a class of hierarchical Petri nets introduced for modeling mobility inside the nets-within-nets paradigm. The hierarchical structure of a P system is reflected by the associated hypernet, where molecules are modeled by unstructured agents (simple tokens) and membranes by agents. Each agent is ...

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...

There are errors in the author affiliations. The affiliations should appear as shown here: Margaret Addabbo, Elena Longhi, Nadia Bolognini, Irene Senna, Paolo Tagliabue, Viola Macchi Cassia, Chiara Turati 1 Department of Psychology and NeuroMi, Milan Center for Neuroscience, University of Milan-Bicocca, Piazza Ateneo Nuovo 1 (U6), 20126, Milano, Italy, 2 Research Department of Clinical, Educati...

using energy as a weapon, the new russia seeks to reconstruct its empire. the russian government has declared an economic model since 2001 entitled rationalization which has been implemented by the putin's government. state ownership especially concerns the oil industry which was expanded by confiscating the yukas company's properties and gazprom's procurement of the apple oil co...

iran  budgeting  structure  and concepts  have  changed  since  200 i .these changes  embrace  the  items  such  as  ,   concepts  of revenues  ,   expenses  , capital   assets   as  well   as   financial   assets   ,    which   resulted    in  more information  transparency .   as a results  the government  budget  is  drawn up  as  such  of an  economic   firm's  budget.  structural  ref...