id	author	title	date	pages	extension	mime	words	sentences	flesch	summary	cache	txt
work_ubkaeukuajb4nfg6rg52icqrbe	Muhammad Rizwan Ali	Petri Net based modeling and analysis for improved resource utilization in cloud computing	2021	22	.pdf	application/pdf	8542	1197	66	research firstly presents a colored Petri net based formal model of CAROM. of resources in clouds by presenting a comprehensive formal analysis of CAROM. Keywords Cloud computing, Replication, Colored Petri net, Formal analysis Database as a Service (DaaS) is a self-service cloud computing model. primary goal is to develop a data scheduling model based on colored Petri net (CPN), As data types, the color sets are mapped to the places of the the place KEY while color set DATA, in the fourth row of Table 1, is mapped to the place Figure 8 shows the ReGenerate-Data module of the model. management of data centers for cloud computing. Petri Net based modeling and analysis for improved resource utilization in cloud computing Petri Net based modeling and analysis for improved resource utilization in cloud computing Petri Net based modeling and analysis for improved resource utilization in cloud computing	./cache/work_ubkaeukuajb4nfg6rg52icqrbe.pdf	./txt/work_ubkaeukuajb4nfg6rg52icqrbe.txt