Filters








2,352 Hits in 4.8 sec

Evaluation of a Multi-agent Based Workflow Management System Modeled Using Coloured Petri Nets [chapter]

Maryam Purvis, Bastin Tony Roy Savarimuthu, Martin Purvis
2005 Lecture Notes in Computer Science  
We evaluate our agent based workflow system modelled using Petri nets with the proposed standards for various workflow patterns and communication patterns.  ...  The coloured Petri net model supports the workflow patterns and the FIPA compliant agent framework supports the communication patterns.  ...  Acknowledgements The authors wish to acknowledge the work of Lars Ehrler and Martin Fleurke in the implementation of the agent based workflow system.  ... 
doi:10.1007/978-3-540-32128-6_16 fatcat:o3oubtt35ffzldigpofvorplkq

Behavioral Modeling of Enterprise Cloud Bus System: High Level Petri Net based Approach

Gitosree Khan, Anirban Sarkar, Sabnam Sengupta
2017 International Journal of Software Engineering and Its Applications  
In this work, a conceptual architecture of Multi-agent based Enterprise Cloud Bus System (ECBS) is proposed and modelled its dynamics using High Level Petri Net (HECBP) based approach.  ...  The proposed HECBP is simulated using Colored Petri Net tools. facets of Multi-agent system has been explained in paper [10] .  ...  Copyright ⓒ 2017 SERSC ECBS into the HECBP net.  ... 
doi:10.14257/ijseia.2017.11.7.02 fatcat:3xokfphzlzdqzoubgprxmmtyry

Distributed Gridflow Model and Implementation [chapter]

Cheng Bo, Qihe Liu, Guowei Yang
2005 Lecture Notes in Computer Science  
And also proposed the multi-agent based implementation for gridflow net model.  ...  Which applies the Coloured Petri net as the formalism to describe grid process, and proposed the formal method for grid services to composite the gridflows.  ...  Conclusions and future work We mainly introduce the Coloured petri net based distributed Gridflow process model and describe the formal composition for Grid services.  ... 
doi:10.1007/11577188_12 fatcat:quldbkgyunhvfapuj75hw3xtgi

Hierarchical Coloured Petri-Net Based Multi-Agent System for Flood Monitoring, Prediction, and Rescue (FMPR)

Nadeem Akhtar, Abdul Rehman, Mujtaba Hussnain, Saad Rohail, Malik Saad Missen, Mehwish Nasir, Alina Hayder, Nadeem Salamat, Maruf Pasha
2019 IEEE Access  
After the detailed design phase, the system is formally modeled and verified by Hierarchical Coloured-Petri Nets (CP-Nets).  ...  The proposed safety-critical system for FMPR is distributed as it is based on multi-agents.  ...  The FMPR system is based on multi-agents. The system is fault-tolerant and it works even if several agents fail. It has a Gaia based formal requirement specification and design.  ... 
doi:10.1109/access.2019.2958258 fatcat:7hkpawprbvainbvh22o5hxjqve

Modelling the Structure and Behaviour of Petri Net Agents [chapter]

Michael Köhler, Daniel Moldt, Heiko Rölke
2001 Lecture Notes in Computer Science  
This work proposes a way to model the structure and behaviour of agents in terms of executable coloured Petri net protocols.  ...  A special kind of coloured Petri nets is being used throughout the work: reference nets.  ...  Fernandes and Belo [10] introduce a modelling case study that uses coloured Petri nets to model multi agent systems activities.  ... 
doi:10.1007/3-540-45740-2_14 fatcat:m4hs5o2qsnfyjgdgzdnia6s6su

A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration [chapter]

Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaida
2008 Lecture Notes in Business Information Processing  
The semantics and its application are described on the basis of translation rules to Coloured Petri Nets and the benefits of formalisation are shown.  ...  This paper presents a new approach for Business Process Integration based on Interaction Protocols.  ...  Section 3 describes a CPN based representation of IP. In section 4, we provide a skeletal algorithm for converting BPI based on interaction protocols in AUML/BPEL4WS to Coloured Petri nets.  ... 
doi:10.1007/978-3-540-68644-6_6 fatcat:di645ndvtrd2vpvwhaerxkevae

Modelling and Analysis of Mobile Computing Systems: An Extended Petri Nets Formalism

Laid Kahloul, Allaoua Chaoui, Karim Djouani
2015 International Journal of Computers Communications & Control  
This translation exploits Dynamic Petri Nets [11] as an intermediary representation between our model and Coloured Petri Nets.  ...  This constraint makes the Petri Nets a poor tool to deal with reconfigurable systems as mobile computing systems, where the structure of the system can change as its behaviour, during time.  ...  The Petri net of a PEPA net models the architecture of the net, which is a static one. Mobile Petri nets (MPN) [11] extend coloured Petri nets to model mobility.  ... 
doi:10.15837/ijccc.2015.2.118 fatcat:vbqlp57rhreergtxkvhxicskia

Agent-based integration of Web Services with Workflow Management Systems

Bastin Tony Roy Savarimuthu, Maryam Purvis, Martin Purvis, Stephen Cranefield
2005 Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems - AAMAS '05  
We have developed a multi-agent based workflow system, JBees, which supports distributed process models and the adaptability of executing processes.  ...  In this paper we discuss how our agent-based architecture can be used to bind and access web services in the context of executing a workflow process model.  ...  Coloured Petri nets Petri nets [14] are a formalism and associated graphical notation for modelling dynamic systems.  ... 
doi:10.1145/1082473.1082765 dblp:conf/atal/SavarimuthuPPC05 fatcat:oea235czt5adbbct6d2um7kue4

Modelling and validating the multi-agent system behaviour for a washing machine production line

Paulo Leitao, Nelson Rodrigues
2012 2012 IEEE International Symposium on Industrial Electronics  
The modelling, analysis and validation process uses the Petri nets formalism that provides a rigorous and formal language based on its powerful mathematical foundation, supporting the complete verification  ...  This paper describes the formal modelling and validation of the behaviour of a multi-agent system that integrates the production and quality control processes in a washing machine production line.  ...  In fact, the multi-agent systems [3] is a suitable approach to face the described challenge by providing an alternative way to design control systems based on the decentralization of the control over  ... 
doi:10.1109/isie.2012.6237260 dblp:conf/isie/LeitaoR12 fatcat:7utwkyd6vbawxhpuvhdy6cpqmy

What is scalability in multi-agent systems?

Omer F. Rana, Kate Stout
2000 Proceedings of the fourth international conference on Autonomous agents - AGENTS '00  
Petri net based performance models are presented, which can be run on various publicly available simulators.  ...  Content Areas: agent-based software engineering, designing agent systems, lessons learned from deployed agents, multi-agent communication -coordination -and collaboration, organization of agent societies  ...  We use two extensions to basic PNs called the General Stochastic Petri Net (GSPN) [1] and Coloured Petri Net [21] to model agent systems.  ... 
doi:10.1145/336595.337033 dblp:conf/agents/RanaS00 fatcat:4zx4euezujalhmkef3aer2w5d4

Debugging multi-agent systems using design artifacts

David Poutakidis, Lin Padgham, Michael Winikoff
2002 Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 2 - AAMAS '02  
Debugging multi-agent systems (which are concurrent, distributed, and consist of complex components) is difficult, yet crucial.  ...  The debugger uses the Petri nets to monitor conversations and to provide precise and informative error messages when protocols aren't correctly followed by the agents.  ...  We would also like to thank James Harland for comments on a draft of this paper.  ... 
doi:10.1145/544964.544966 fatcat:kmdb6lhqdzbmrkfklwcfsnfkwu

Debugging multi-agent systems using design artifacts

David Poutakidis, Lin Padgham, Michael Winikoff
2002 Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 2 - AAMAS '02  
Debugging multi-agent systems (which are concurrent, distributed, and consist of complex components) is difficult, yet crucial.  ...  The debugger uses the Petri nets to monitor conversations and to provide precise and informative error messages when protocols aren't correctly followed by the agents.  ...  We would also like to thank James Harland for comments on a draft of this paper.  ... 
doi:10.1145/544862.544966 dblp:conf/atal/PoutakidisPW02 fatcat:ueyeoqaz6bcgbnyy25fbqndpgu

Modelling and visualizing agent conversations

Marisuz Nowostawski, Martin Purvis, Stephen Cranefield
2001 Proceedings of the fifth international conference on Autonomous agents - AGENTS '01  
This paper describes a proposed formalism based on Petri Nets that is to be used for the modelling of complex, concurrent conversations between agents in a multi-agent system.  ...  A prototype implementation of a system supporting predefined conversation protocols as Petri Net models developed for the New Zealand Distributed Information Systems research platform is described.  ...  on Coloured Petri Nets that is to be used for the modelling of complex, concurrent conversations between agents in a multi-agent system is presented further in this article.  ... 
doi:10.1145/375735.376297 dblp:conf/agents/NowostawskiPC01 fatcat:u2365pikvbggpbcjp4miwnqkry

A CP-net Approach To Control Logic Engineering [chapter]

Mathew Farrington, Jonathan Billington
1996 Software Engineering for Manufacturing Systems  
Coloured Petri nets have been used to model and therefore specify the control logic in an automotive assembly line.  ...  This paper describes the modelling activity and shows how two models of the same system, one developed using top-down methods, the other developed using bottom-up methods, may be fused.  ...  A formal toolkit based on Petri nets is now being used to construct a model of the assembly line from the existing code.  ... 
doi:10.1007/978-0-387-35060-8_5 fatcat:ninraxoiszakzcfqxtfl22dmy4

Coloured Reconfigurable Nets For Code Mobility Modeling

Kahloul Laid, Chaoui Allaoua
2007 Zenodo  
The objective of this paper is to provide a specific formalism "Coloured Reconfigurable Nets" and to show how this one seems to be adequate to model different kinds of code mobility.  ...  The choice of models and modeling languages is so critical on these steps. Formal tools are powerful in analyzing and proving steps.  ...  To handle this aspect in code mobility, recently Mobile Synchronous Petri Net (based on labeled coloured Petri net) are proposed [20] .  ... 
doi:10.5281/zenodo.1086115 fatcat:6wzisdh34bd6lhpzgmajztdowu
« Previous Showing results 1 — 15 out of 2,352 results