@article {Distefano201722,
	title = {Marking dependency in non-Markovian stochastic Petri nets},
	journal = {Performance Evaluation},
	volume = {110},
	year = {2017},
	note = {cited By 0},
	pages = {22-47},
	publisher = {Elsevier B.V.},
	abstract = {<p>Marking dependency is a powerful tool that allows different firing time distributions to be associated with a stochastic Petri net transition, depending on the marking. Through this feature, the modeler can easily and compactly represent advanced properties and behaviors of the system. While a semantics and specific solution techniques have been provided for generalized stochastic Petri nets thus covering homogeneous Markovian aspects, in the non-homogeneous/non-Markovian case marking dependency still needs to be investigated. To fill this gap, this paper provides a formalization of marking dependent semantics in non-Markovian stochastic Petri nets (NMSPNs) and a solution technique, based on phase type distributions and Kronecker algebra, able to deal with such a feature allowing both transient and steady-state analyses. To motivate the actual need of marking dependency in NMSPN modeling and to demonstrate the potential of such a feature as well as the validity of the proposed solution technique a case study on a multi-core CPU system with power management facilities is explored. {\textcopyright} 2017 Elsevier B.V.</p>
},
	keywords = {Algebra, energy management, Kronecker algebra, Marking dependency, Multi-core cpus, non-Markovian stochastic Petri nets, Petri nets, phase type distributions, Power management, Program processors, Random access storage, Semantics, Stochastic systems},
	issn = {01665316},
	doi = {10.1016/j.peva.2017.03.001},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85016027299\&doi=10.1016\%2fj.peva.2017.03.001\&partnerID=40\&md5=a00a4d3147bd499b5f8879d3573b4670},
	author = {Salvatore Distefano and Francesco Longo and Marco Scarpa}
}
@article {Bruneo20132090,
	title = {Stochastic evaluation of QoS in service-based systems},
	journal = {IEEE Transactions on Parallel and Distributed Systems - IEEE Computer Society},
	volume = {24},
	number = {10},
	year = {2013},
	note = {cited By 7},
	pages = {2090-2099},
	abstract = {<p>WS-BPEL language has become the industrial standard to design and orchestrate modular applications, formalizing service compositions and business relationships among providers and consumers. Once service level agreements (SLAs) among the parties are established, effective tools for evaluating appropriate measurements have to be developed to meet the requirements. However, the design of quality of service (QoS)-guaranteed composed Web services (WSes) still requires several efforts. This work aims at proposing a complete method to study the QoS of a composed WS at design time, i.e., when the process is specified by using WS-BPEL. Starting from the nonfunctional properties of the WS to compose, we propose a technique to derive non-Markovian stochastic Petri net (NMSPN) models from WS-BPEL processes, with the final goal of evaluating parameters such as the service time distribution and the service reliability. To demonstrate the effectiveness of the proposed method and to validate the obtained model, a nontrivial example implementing a travel agency flight reservation process, exposed as a synchronous composed WS, is investigated. {\textcopyright} 1990-2012 IEEE.</p>
},
	keywords = {Business Process, Business relationships, Design, Information services, Non functional properties, Performance, Quality of service, Random access storage, Reliability, Service level agreement (SLAs), Service oriented architecture (SOA), Service time distribution, Stochastic Petri Nets, Web services, WS-BPEL},
	issn = {10459219},
	doi = {10.1109/TPDS.2012.313},
	url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-84883410035\&partnerID=40\&md5=cdebb3fe5a36e131fd3a9485d01fe3c6},
	author = {Dario Bruneo and Salvatore Distefano and Francesco Longo and Marco Scarpa}
}
