On one hand, Petri nets are widely used as a modeling formalism to assess both structural and behavioral properties of the multi-agent system bacause of their mathematical foundations and the rich underlying analysis tools has developed around them. On the other hand, Maude is a very powerful formal specification language based on rewriting logic that is known as a unifying framework for different types of Petri nets and offers a wide range of analysis techniques.
In this paper, we will present a new algorithm allowing the automatic generation of Maude specifications from Petri nets models in order to help designers to effectively obtain the rewriting logic based specification of their multi-agent systems and then facilitate their analysis, pick up time and stay away from human related errors occurred during the manual preparation of such specification.
AdameitS.BetzT.CabacL.HarsF.HeweltM.Köhler-BußmeierM.MoldtD.PopovD.QuenumJ.TheilmannA. et al., Modelling distributed network security in a petri net-and agent-based approach, in: German Conference on Multiagent System Technologies, Springer, 2010, pp. 209–220.
2.
AliG.KhanS.ZafarN.A. and AhmadF., Formal modeling towards a dynamic organization of multi-agent systems using communicating x-machine and z-notation, Indian Journal of Science and Technology5(7) (2012), 2972–2977.
3.
AllanR.J., Survey of agent based modelling and simulation tools. Science & Technology Facilities Council, 2010.
4.
AmmarB. and AbdallahK., Towards the formal specification and verification of multi-agent based systems, International Journal of Computer Science Issues (IJCSI)8(4) (2011), 200–210.
5.
AthamenaB. and HouhamdiZ., A petri net based agent behavioral testing, in: American Journal of Applied Sciences, Vol. 12, 2011, pp. 1876–1883.
6.
BaiQ.ZhangM. and ZhangH., A colored petri net based strategy for multi-agent scheduling, In: Rational, Robust, and Secure Negotiation Mechanisms in Multi-Agent Systems, 2005, IEEE, 2005, pp. 3–10.
7.
BarbosaP.E.CostaA.de FigueiredoJ.C.RamalhoF.GomesL. et al., Modeling complex Petri nets operations in the model-driven architecture, in: Industrial Electronics, 2009. IECON’09, IEEE, 2009, pp. 4359–4364.
8.
BenmerzougD.KordonF. and BoufaidaM., A petri-net based formalisation of interaction protocols applied to business process integration, in: Advances in Enterprise Engineering I, Springer, 2008, pp. 78–92.
9.
BoudiafN. and BensaberK., Adapting and implementing a reduction rule to ECATNets by using rewriting logic, Engineering Letters20(2) (2012), 116–127.
10.
BoudiafN.ChaouiA. and BakhaH., A rewriting logic based tool for ECATNet’s analysis: Edition and simulation steps description, European Journal of Scientific Research6(2) (2005), 16–27.
11.
BoudiafN. and DjebbarA., Towards an automatic translation of colored petri nets to maude language, International Journal of Computer Science & Engineering3(1) (2009), 1078–1083.
12.
BoudiafN.MokhatiF. and BadriM., Supporting formal verification of dima multi-agents models: Towards a framework based on maude model checking, International Journal of Software Engineering and Knowledge Engineering18(7) (2008), 853–875.
13.
BoudiafN.MokhatiF.BadriM. and BadriL., Specifying dima multi-agents models using maude, in: Pacific Rim International Workshop on Multi-Agents, Springer, 2004, pp. 29–42.
14.
BrahimiS.MaamriR. and SahnounZ., Dynamic verification of hierarchical multi-agent plans, Multiagent and Grid Systems13(2) (2017), 113–142.
15.
CabacL.MoldtD. and RölkeH., A proposal for structuring petri net-based agent interaction protocols, in: International Conference on Application and Theory of Petri Nets, Springer, 2003, pp. 102–120.
16.
CelayaJ.R.DesrochersA.A. and GravesR.J., Modeling and analysis of multi-agent systems using petri nets, in: Systems, Man and Cybernetics, 2007. ISIC. IEEE International Conference on, IEEE, 2007, pp. 1439–1444.
17.
ChainbiW., Multi-agent systems: a petri net with objects based approach, in: Intelligent Agent Technology, 2004. (IAT 2004). Proceedings. IEEE/WIC/ACM International Conference on, IEEE, 2004, pp. 429–432.
18.
ChangL.HeX.LianJ. and ShatzS., Applying a nested petri net modeling paradigm to coordination of sensor networks with mobile agents, in: Proc. of Workshop on Petri Nets and Distributed Systems, Xian, China, 2008, pp. 132–145.
19.
ChatterjeeR.K.NehaN. and SarkarA., Behavioral modeling of multi agent system: high level petri net based approach, International Journal of Agent Technologies and Systems (IJATS)7(1) (2015), 55–78.
20.
ChatterjeeR.K.SarkarA. and BhattacharyaS., Modeling and analysis of agent oriented system: Petri net based approach, in: Proceedings of the International Conference on Software Engineering Research and Practice (SERP’11), 2011, pp. 17–23.
21.
ClanceyW.J.SierhuisM.SeahC.BuckleyC.ReynoldsF.HallT. and ScottM., Multi-agent simulation to implementation: a practical engineering methodology for designing space flight operations, in: International Workshop on Engineering Societies in the Agents World, Springer, 2007, pp. 108–123.
22.
ClavelM.DuránF.EkerS.LincolnP.Martí-OlietN.MeseguerJ. and QuesadaJ., A maude tutorial, Computer Science Laboratory, SRI International, 2000.
23.
ClavelM.DuránF.EkerS.LincolnP.Martí-OlietN.MeseguerJ. and TalcottC., All about maude – a high-performance logical framework: how to specify, program and verify systems in rewriting logic. Springer-Verlag, 2007.
24.
FilatovaT.VerburgP.H.ParkerD.C. and StannardC.A., Spatial agent-based models for socio-ecological systems: Challenges and prospects, Environmental Modelling & Software45 (2013), 1–7.
25.
GolenkovE.SokolovA.TarasovG. and KharitonovD., Experimental version of parallel programs translator from petri nets to c++, in: International Conference on Parallel Computing Technologies, Springer, 2001, pp. 226–231.
26.
GomesL.CostaA.BarrosJ.P. and LimaP., From petri net models to vhdl implementation of digital controllers, in: Industrial Electronics Society, 2007. IECON 2007. 33rd Annual Conference of the IEEE, IEEE, 2007, pp. 94–99.
27.
GomesL.RebeloR.BarrosJ.P.CostaA. and PaisR., From petri net models to c implementation of digital controllers, in: 2010 IEEE International Symposium on Industrial Electronics, IEEE, 2010, pp. 3057–3062.
28.
HaggeN. and WagnerB., Java code patterns for petri net based behavioral models, in: Industrial Informatics, 2005. INDIN’05. 2005 3rd IEEE International Conference on, IEEE, 2005, pp. 450–455.
29.
HiraishiK., A petri-net-based model for the mathematical analysis of multi-agent systems, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences84(11) (2001), 2829–2837.
30.
HoffmannK.EhrigH. and MossakowskiT., High-level nets with nets and rules as tokens, in: International Conference on Application and Theory of Petri Nets, Springer, 2005, pp. 268–288.
31.
HsiehF.-S., Developing cooperation mechanism for multi-agent systems with petri nets, Engineering Applications of Artificial Intelligence22(4-5) (2009), 616–627.
32.
JenningsN.R. and BussmannS., Agent-based control systems: Why are they suited to engineering complex systems? IEEE Control Systems23(3) (2003), 61–73.
33.
KahloulL. and ChaouiA., LRN/R-Maude based approach for modeling and simulation of mobile code systems, Ubiquitous Computing and Communication Journal (UbiCC journal)3(6) (2008), 1–10.
34.
KerkoucheE. and ChaouA., A graphical tool support to process and simulate ecatnets models based on meta-modelling and graph grammars, INFOCOMP8(4) (2009), 37–44.
35.
KheldounA.BarkaouiK. and IoualalenM., Formal verification of complex business processes based on high-level petri nets, Information Sciences385 (2017), 39–54.
36.
KöhlerM., A formal model of multi-agent organisations, Fundamenta Informaticae79(3-4) (2007), 415–430.
37.
KöhlerM.MartensM. and RölkeH., Modelling social behaviour with petri net based multi-agent systems, in: Proceedings of the Workshop MASHO, Vol. 3, 2003.
38.
KöhlerM.MoldtD. and RölkeH., Modelling the structure and behaviour of petri net agents, in: International Conference on Application and Theory of Petri Nets, Springer, 2001, pp. 224–241.
39.
KotbY.T.BeaucheminS.S. and BarronJ.L., Petri net-based cooperation in multi-agent systems, in: Computer and Robot Vision, 2007. CRV’07. Fourth Canadian Conference on, IEEE, 2007, pp. 123–130.
40.
LaouadiM.A.MokhatiF. and Seridi-BouchelaghemH., A formal framework for organization-centered multi-agent system specification: A rewriting logic based approach, Multiagent and Grid Systems13(4) (2017), 395–419.
41.
LehmannK. and MoldtD., Modelling and analysis of agent protocols with petri nets, in: German Conference on Multiagent System Technologies, Springer, 2004, pp. 85–98.
42.
MarikV. and McFarlaneD., Industrial adoption of agent-based technologies, IEEE Intelligent Systems20(1) (2005), 27–35.
43.
MarzouguiB.HassineK. and BarkaouiK., A new formalism for modeling a multi agent systems: Agent petri nets, Journal of Software Engineering and Applications3(12) (2010), 1118–1124.
44.
MeseguerJ., Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science96(1) (1992), 73–155.
45.
MeseguerJ., Twenty years of rewriting logic, The Journal of Logic and Algebraic Programming81(7-8) (2012), 721–781.
46.
MichaelK.LangerR.von LüdeR.MoldtD.HeikoR.ValkR. et al., Socionic multi-agent systems based on reflexive petri nets and theories of social self-organisation, Journal of Artificial Societies and Social Simulation10(1) (2007), 1–3.
47.
MidgleyD.MarksR. and KunchamwarD., Building and assurance of agent-based models: An example and challenge to the field, Journal of Business Research60(8) (2007), 884–893.
48.
MonostoriL.VánczaJ. and KumaraS.R., Agent-based systems for manufacturing, CIRP Annals-Manufacturing Technology55(2) (2006), 697–720.
49.
NowéA.VerbeeckK. and PeetersM., Learning automata as a basis for multi agent reinforcement learning, in: Learning and Adaption in Multi-agent Systems, Springer, 2006, pp. 71–85.
50.
NowostawskiM.PurvisM. and CranefieldS., A layered approach for modelling agent conversations, in: The 2nd International Workshop on Infrastructure for Agents, MAS, and Scalable MAS, 2001, pp. 163–170.
51.
Ou-YangC. and WinarjoH., Petri-net integration – an approach to support multi-agent process mining, Expert Systems with Applications38(4) (2011), 4039–4051.
52.
PeršeM.KristanM.PeršJ.MušičG.VučkovičG. and KovačičS., Analysis of multi-agent activity using petri nets, Pattern Recognition43(4) (2010), 1491–1501.
53.
ReisigW., A primer in Petri net design. Springer Science & Business Media, 2012.
54.
RibeiroO.R. and FernandesJ.M., Translating synchronous petri nets into promela for verifying behavioural properties, in: Industrial Embedded Systems, 2007. SIES’07. International Symposium on, IEEE, 2007, pp. 266–273.
55.
SchulzA., Model checking of reconfigurable Petri nets. Master’s thesis, University of Applied Sciences, Hamburg, Germany, 2015.
56.
StehrM.-O.MeseguerJ. and ÖlveczkyP.C., Rewriting logic as a unifying framework for petri nets, in: Unifying Petri Nets, Springer, 2001, pp. 250–303.
57.
Van BaalenJ.CaldwellJ.L. and MishraS., Specifying and checking fault-tolerant agent-based protocols using maude, in: International Workshop on Formal Approaches to Agent-Based Systems, Springer, 2000, pp. 180–193.
58.
Van der HoekW. and WooldridgeM., Towards a logic of rational agency, Logic Journal of IGPL11(2) (2003), 135–159.
59.
van RiemsdijkM.B.AştefănoaeiL. and de BoerF.S., Using the maude term rewriting language for agent development with formal foundations, in: Specification and Verification of Multi-agent Systems, Springer, 2010, pp. 255–287.
60.
Van RiemsdijkM.B.De BoerF.S.DastaniM. and MeyerJ.-J.C., Prototyping 3apl in the maude term rewriting language, in: International Workshop on Computational Logic in Multi-Agent Systems, Springer, 2006, pp. 95–114.
61.
WilenskyU. and RandW., An introduction to agent-based modeling: modeling natural, social, and engineered complex systems with NetLogo. MIT Press, 2015.
62.
WillrichR.De Saqui-SannesP.SénacP. and DiazM., Multimedia authoring with hierarchical timed stream petri nets and java, Multimedia Tools and Applications16(1-2) (2002), 7–27.
63.
ZambonelliF. and OmiciniA., Challenges and research directions in agent-oriented software engineering, Autonomous Agents and Multi-agent Systems9(3) (2004), 253–283.
