A model transformation approach for verifying multi-agent systems using SPIN

Authors:
Lily Chang;Xudong He
Affiliations:
Florida International University, Miami, FL;Florida International University, Miami, FL
Venue:
Proceedings of the 2011 ACM Symposium on Applied Computing
Year:
2011

Citing 7
Cited 0

Communicating sequential processes

Communicating sequential processes
Predicate/transition nets

Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Introduction to Multiagent Systems

Introduction to Multiagent Systems
Formally analyzing software architectural specifications using SAM

Journal of Systems and Software
Model-driven Development of Complex Software: A Research Roadmap

FOSE '07 2007 Future of Software Engineering
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

International Journal on Software Tools for Technology Transfer (STTT)
Spin model checker, the: primer and reference manual

Spin model checker, the: primer and reference manual

Quantified Score

Hi-index	0.00

Visualization

Abstract

In our previous work, we developed a nested Petri net framework for modeling multi-agent systems. In this paper, we present a method to analyze the nested Petri net model using model checking. Our method systematically translates a nested Petri net model into a PROMELA program in SPIN.