GreatSPN is a tool that supports the design and the qualitative and quantitative analysis of Generalized Stochastic Petri Nets (GSPN) and of Stochastic Well-Formed Nets (SWN). The very first version of GreatSPN saw the light in the late eighties of last century: since then two main releases where developed and widely distributed to the research community: GreatSPN1.7 [13], and GreatSPN2.0 [8]. This paper reviews the main functionalities of GreatSPN2.0 and presents some recently added features that significantly enhance the efficacy of the tool.

Power management in battery operated sensor networks, is a hot topic addressed by many ongoing researches. One of the most commonly employed technique consists in turning on and of the power of the radio unit to reduce the power consumption. In this paper we exploit the modelling power of Interacting Markovian agent to evaluate the performance of four different on-off strategies. A Markovian agent (MA) is an entity whose behaviour is described by a continuous time Markov chain (CTMC) and that is able to interact with other MA's by sending and receiving messages. A perceived message may induce a state transition in an MA according to a perception function than can depend on the geographical location of the MA's, on the message routing strategy and on the transmission property of the medium. We represent each sensor by an MA and we show how MA's can interact to produce the collective behaviour of the sensor network.

As embedded and mobile systems grow pervasive in people lives and expand their reach, paradigms related to mobile crowdsensing (MCS) are going to play an ever more prominent role. Innovative methodologies and applications able to unlock such a huge potential are required. A domain where MCS really fits is mobility and transportation. However, for a full exploitation of this paradigm in intelligent transportation systems (ITS), distributed and self-management capabilities for the involved nodes-vehicles have to be provided. This paper is a first step in this direction, laying out an optimization system by exploiting feedback-driven patterns in a distributed-opportunistic way. In this sense, collective intelligence and stigmergic, swarm-based paradigms are adapted to an innovative decentralized MCS pattern toward new approaches in ITS. Their effectiveness is demonstrated through a traffic engineering case study, where route planning services are designed according to the proposed approach and then modeled and evaluated by Markovian agents.