Anush Hayrapetyan

Learn More
<i>Presence</i> information is one of the key aspects of mobile computing. Depending on the type of presence information, a variety of services can be built on top of a basic presence architecture. These can range from simple notification services and context-aware computing to more complex dynamic discovery and load balancing in mobile environments such as(More)
Petri Nets are a graphical modeling language suitable for modeling distributed, concurrent, deterministic and nondeterministic systems with synchronous and asynchronous communications. One attraction of Petri Nets is that the basic vocabulary is small which renders them very flexible in terms of application domains for modeling. However, lack of high-level(More)
  • 1