Search or add a thesis

Advanced Search (Beta)
Home > Petri Nets Based Formal Modeling and Verification of Concurrent Systems

Petri Nets Based Formal Modeling and Verification of Concurrent Systems

Thesis Info

Access Option

External Link

Author

Fakhir, Muhammad Ilyas

Program

PhD

Institute

Government College University

City

Lahore

Province

Punjab

Country

Pakistan

Thesis Completing Year

2019

Thesis Completion Status

Completed

Subject

Computer Science

Language

English

Link

http://prr.hec.gov.pk/jspui/bitstream/123456789/10073/1/2013-PhD-CS-20.pdf

Added

2021-02-17 19:49:13

Modified

2024-03-24 20:25:49

ARI ID

1676727810119

Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Similar


The assurance of required quality properties is one of the major challenge in Self- Adaptive Systems (SAS). Self-adaptive systems have the capability to adapt their dynamic behavior autonomously at runtime due to uncertain changes in the environment. Research in this field is being held since mid-sixties, and over the last decade the importance of self-adaptivity is being increased. In general a self-adaptive system is much difficult to specify and verify, because of its highly complex internal behavior and especially when time constraints are involved. In the proposed research, Colored Petri Net (CPN) formal language will be used to model self-adaptive multi-agent system. CPN is increasingly used to model self-adaptive complex concurrent systems due to its flexible formal specification and formal verification behavior. CPN is visually more expressive than simple Petri Nets enables diverse modeling approaches and provides a richer framework for such a complex formalism. The specification and verification of internal structure of each self-adaptive agent is being expressed through modal μ-calculus (Mμ). We propose SMACS (Self-adaptive Multi-Agent Concurrent System) framework, that is specifically designed for complex architectures, those contain inter-connected components in a heterogenous way. All agents of SMACS are also known as intelligent agents due to their self-adaptation behavior. The internal structure of SMACS framework is based on MAPE-K feedback loop. Each phase of the feedback loop works as an internal agent known as; Monitor Int-Agent, Analyzer Int-Agent, Planer Int-Agent and Executer Int-Agent. The agents adapt and update their behavior through interaction with the environment by using the decentralized approach. The Liveness, Safeness and Deadlock-freedom properties of self-adaptive agents are being verified through the TAPA model checker. For implementation of SMACS framework, Traffic Monitoring System (TMS) and Smart Computer Lab (SCL) are chosen as case studies. CPN based state space analysis will also be done to verify the behavioral properties of the model. The general objective of the proposed system is to maximize the utility generated over some predetermined time horizon. This research will provide new direction for modeling and verification of concurrent system. The main idea behind this work is to achieve true concurrency of multiple interconnected self-adaptive agents with their dynamic behavior.
Loading...
Loading...

Similar Books

Loading...

Similar Chapters

Loading...

Similar News

Loading...

Similar Articles

Loading...

Similar Article Headings

Loading...

جے کر بیری پھل نہ دیوے

جے کر بیری پھل نہ دیوے
جین کوئی اوہنوں پل نہ دیوے

دانش ور نوں مسئلہ دسیا
عشق دا اوہ وی حل نہ دیوے

ڈِھڈ دے ہولے بندے نوں تے
بندہ دل دی گل نہ دیوے

دل دے بدلے جے کر دل اوہ
نہیں دیندا تے چل نہ دیوے

اوہنوں آکھو عشق دی اگ نوں
یا بُرکے یا جھل نہ دیوے

ایہہ جئی دانش میں کیہ کرنی
جیہڑی جین دا ول نہ دیوے

A Critical Analysis of Marxist Feminist Multi-Voiced Expressions in Pakistani Writings

Pakistani English literature is internationally recognized. It elaborates on Pakistani culture, societies, and individual and collective thought represented in its writings. Different writers have different perspectives to discuss, but Marxist Feminism is an important aspect about which very few writers focused, on the point of view of the property, dominance, wages, and shares in the economy. Men are not only denominated on women’s bodies but also their economy, which females deserve in the form of inheritance or wages. Karl Marx and Frederic Engels wrote a book: The Origin of Family, Private property, and the State (1884), and presented a theory on Marxist-feminist phenomena that men and women do the same job, but women receive the reward not equally men. This can be because of males’ dominant society or, in other words, females are not aware of their basic rights. This study is the subjective analysis of reading the two novels of the pre-modern time: Umrao Jaan Ada by Hadi Ruswa and the post-modern era fiction: The Holy Woman by Qaisra Shahraz to analyze the custom prevalent in the society of Pakistan regarding the Marxist-feminist approach. The hypothesis is also, whether the situation varies after a hundred years of awareness. However, the study has the conclusion of the same state.

Right of Religious Freedom in Shariah and Law: A Case Study of Pakistan

The question of religious freedom and human rights has always been a corner stone of wide ranging discussions and an issue of immense importance in 20th century .Once viewed in overall realm of history, it predominantly figures out that issue offreedom of religion and worship always remained universal, self evident and inalienable. Notwithstanding the upheavals of civilizations liberty and choice of religion and dogmas perpetually remained consistent and irrevocable. Nature conferred liberty leaving at the absolute discretion of human beings to decide the discourse of life they wish to adopt. As a consequence of relentless and undaunted struggle by the flag bearers of human Rights, the right of freedom of religion is universally acclaimed through various international Conventions and Charters. Practicing a particular religion and worshipping God of own choice without any impediment is deemed an inalienable right of every human being. However in stark contrast to internationally accepted norms and principles, flagrant infringement to this unquestionable right in some of the intolerant civilizations and states portrays a disgusting picture. Believably lack of tolerance stems out of rigidity, myopic mindedness, and stagnancy. Those societies which do not let vent in the fresh ideas and appreciate divergent thoughts consequently plunge into deep ignominy of ignorance and darkness. As history bears testimony to the fact that unrelenting fanaticism and prejudices prevalent in various systems of mythologies, schools of thoughts and religions commonly stems out of intolerance and outright stubbornness subsequently leading to indiscriminate persecution and ultimate destruction of societies. Glaring examples of current history are State of India and Burma, where people are being indiscriminately persecuted purely due to divergence of faith. In sharp contrast to the intolerance, it is an irrefutable fact that Islam and its laws are pluralistic and coexistent. It fervently supports the freedom of religion, beliefs and diversifying theological systems. In an Islamic society, the life, property and honour of a Covenant holder (Dhimmi) is fully protected and respected exactly like that of a Muslim. Covenant holders (Dhimmis) will have full freedom of conscience and belief and will be at an absolute liberty to perform their religious rites and ceremonies in their own way. Truly, Islam and equity are synonymous to each other as indicative of the spirit, which it echoes, when even a non Muslim could not only conceptualizeits own ideas and beliefs but is fully permitted to positively advance dissenting ideas with decency and while remaining within the precincts of morality. The notion being perpetrated against Islam that it advocates extermination of every non Muslim from the surface of earth is nefariously aimed at tarnishing the true image of most benevolent and humane religion of Islam. Citing the precedent set forth in Pakistan, it is an undeniable fact that Constitution of the Islamic Republic of Pakistan explicitly recognizes the rights of Religious Minorities, while fully guaranteeing them the freedom of belief and faith, protecting and maintaining their places of worship and religious institutions. In consonance of various Constitutional Articles there shall be no discrimination (irrespective of being Muslim or non Muslim) on the grounds of race, religion, caste, sex etc. State shall be bound to safeguard their legitimate rights and their representation in Federal and Provincial legislative bodies. There is no, however, denying the fact that quite frequently grievances against the Misuse of Blasphemy Laws come to surface thereby Minorities misconstrue to be marginalized by the predominant Muslim Population. Going deep down to the problem, it appears to be a misperception. Both, state and saner elements of the society, firmly believe in equitable and just treatment to be meted out to Minorities and no discrimination and misuse under the garb of Blasphemy law is ever permitted. In an attempt to unleash negative propaganda against Muslims and Islam vociferous voices to repeal the Blasphemy Laws are raised which is totally irrational, illogical and unacceptable to majority Muslim Population. The contention against discriminate use of law is the utmost responsibility of state to effectively put in force the criminal justice system to obviate the chances of injustice and abuse of law. This has very rightly been pointed out and enforced by the superior judiciary through their various unambiguous, binding and authoritative judgments.