Log in

Relevant bibliographies by topics / Agent Petri Nets(APN) / Journal articles

To see the other types of publications on this topic, follow the link: Agent Petri Nets(APN).

Journal articles on the topic 'Agent Petri Nets(APN)'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Agent Petri Nets(APN).'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Dembri, Amel, and Mohammed Redjimi. "Cinco-Based Approach for Agent Petri Net Models." International Journal of Organizational and Collective Intelligence 12, no. 2 (2022): 1–17. http://dx.doi.org/10.4018/ijoci.305841.

Full text

Abstract:

In this paper, a simplified simulation approach of the Agent Petri Nets (APN) model is proposed to facilitate and accelerate the development and evaluation of system models. The main idea is to apply the new trends of model-driven approach to the design of specific tools and provide facilities to evaluate quickly the developed system. The CINCO tooling suite is used to full generation of a specific graphical modelling tool for the APN model. The simulation code is simply added to the generated code. This tool allows users to build models based on Agent Petri Nets formalism and at the same time

APA, Harvard, Vancouver, ISO, and other styles

2

Zhao, Jin Zhi, Yuan Tao Liu, and Hui Ying Zhao. "An EDM Multi-Agent Collaborative Manufacturing System Based on Petri Net." Advanced Materials Research 457-458 (January 2012): 921–26. http://dx.doi.org/10.4028/www.scientific.net/amr.457-458.921.

Full text

Abstract:

A framework for building EDM collaborative manufacturing system using multi-agent technology to support organizations characterized by physically distributed, enterprise-wide, heterogeneous intelligent manufacturing system over Internet is proposed. According to the characteristics of agile EDM collaborative manufacturing system(AEDMCMS), the agent technology is combined with Petri net in order to analyze the model. Based on the basic Petri Net, the definition is extended and the Agent-oriented Petri net (APN) is proposed. AEDMCM is turned into the model of Petri Net which is suitable to the a

APA, Harvard, Vancouver, ISO, and other styles

3

Dworza´nski, L. W., and I. A. Lomazova. "CPN Tools-Assisted Simulation and Verification of Nested Petri Nets." Modeling and Analysis of Information Systems 19, no. 5 (2015): 115–30. http://dx.doi.org/10.18255/1818-1015-2012-5-115-130.

Full text

Abstract:

Nested Petri nets (NP-nets) are an extension of Petri net formalism within the “netswithin-nets” approach, when tokens in a marking are Petri nets, which have an autonomous behavior and are synchronized with the system net. The formalism of NP-nets allows modeling multi-level multi-agent systems with dynamic structure in a natural way. Currently, there is no tool for supporting NP-nets simulation and analysis. The paper proposes the translation of NP-nets into Colored Petri nets and the use of CPN Tools as a virtual machine for NP-nets modeling, simulation and automatic verification.

APA, Harvard, Vancouver, ISO, and other styles

4

Finkel, Alain, Serge Haddad, and Igor Khmelnitsky. "Coverability, Termination, and Finiteness in Recursive Petri Nets." Fundamenta Informaticae 183, no. 1-2 (2022): 33–66. http://dx.doi.org/10.3233/fi-2021-2081.

Full text

Abstract:

In the early two-thousands, Recursive Petri nets have been introduced in order to model distributed planning of multi-agent systems for which counters and recursivity were necessary. Although Recursive Petri nets strictly extend Petri nets and context-free grammars, most of the usual problems (reachability, coverability, finiteness, boundedness and termination) were known to be solvable by using non-primitive recursive algorithms. For almost all other extended Petri nets models containing a stack, the complexity of coverability and termination are unknown or strictly larger than EXPSPACE. In c

APA, Harvard, Vancouver, ISO, and other styles

5

Gutnik, G., and G. A. Kaminka. "Representing Conversations for Scalable Overhearing." Journal of Artificial Intelligence Research 25 (March 16, 2006): 349–87. http://dx.doi.org/10.1613/jair.1829.

Full text

Abstract:

Open distributed multi-agent systems are gaining interest in the academic community and in industry. In such open settings, agents are often coordinated using standardized agent conversation protocols. The representation of such protocols (for analysis, validation, monitoring, etc) is an important aspect of multi-agent applications. Recently, Petri nets have been shown to be an interesting approach to such representation, and radically different approaches using Petri nets have been proposed. However, their relative strengths and weaknesses have not been examined. Moreover, their scalability a

APA, Harvard, Vancouver, ISO, and other styles

6

Hazra, Tanmoy, C. R. S. Kumar, and Manisha Nene. "Two-agent cooperative search model with Petri nets." International Journal of Intelligent Unmanned Systems 6, no. 4 (2018): 162–73. http://dx.doi.org/10.1108/ijius-01-2018-0001.

Full text

Abstract:

Purpose The purpose of this paper is to propose a model for a two-agent multi-target-searching scenario in a two-dimensional region, where some places of the region have limited resource capacity in terms of the number of agents that can simultaneously pass through those places and few places of the region are unreachable that expand with time. The proposed cooperative search model and Petri net model facilitate the search operation considering the constraints mentioned in the paper. The Petri net model graphically illustrates different scenarios and helps the agents to validate the strategies

APA, Harvard, Vancouver, ISO, and other styles

7

Perše, Matej, Matej Kristan, Janez Perš, Gašper Mušič, Goran Vučkovič, and Stanislav Kovačič. "Analysis of multi-agent activity using petri nets." Pattern Recognition 43, no. 4 (2010): 1491–501. http://dx.doi.org/10.1016/j.patcog.2009.11.011.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Martiník, Ivo. "Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory." Scientific World Journal 2015 (2015): 1–19. http://dx.doi.org/10.1155/2015/303705.

Full text

Abstract:

Rich-media describes a broad range of digital interactive media that is increasingly used in the Internet and also in the support of education. Last year, a special pilot audiovisual lecture room was built as a part of the MERLINGO (MEdia-rich Repository of LearnING Objects) project solution. It contains all the elements of the modern lecture room determined for the implementation of presentation recordings based on the rich-media technologies and their publication online or on-demand featuring the access of all its elements in the automated mode including automatic editing. Property-preservin

APA, Harvard, Vancouver, ISO, and other styles

9

Dorrer, Georgy. "Agent modeling of the distributed dynamic systems on the earth’s surface with using the colored and nested Petri nets." E3S Web of Conferences 417 (2023): 05014. http://dx.doi.org/10.1051/e3sconf/202341705014.

Full text

Abstract:

The application of formalisms of multi-agent systems, color and nested Petri nets to digital modeling and control of dynamic processes on the Earth’s surface is considered. A GIS-based multi-agent system has been implemented in the form of a two-level color nested Petri net. The system is currently accepted for use as a training simulator.

APA, Harvard, Vancouver, ISO, and other styles

10

Pascal, Carlos, and Doru Panescu. "Modeling a holonic agent based solution by Petri nets." Computer Science and Information Systems 9, no. 3 (2012): 1287–305. http://dx.doi.org/10.2298/csis111223031p.

Full text

Abstract:

One of the key design issues for distributed systems is to find proper planning and coordination mechanisms when knowledge and decision capabilities are spread along the system. This contribution refers holonic manufacturing execution systems and highlights the way a proper modeling method - Petri nets - makes evident certain problems that can appear when agents have to simultaneously treat more goals. According to holonic organization the planning phase is mainly dependent on finding an appropriate resource allocation mechanism. The type of weakness is established by means of the proposed Pet

APA, Harvard, Vancouver, ISO, and other styles

11

Benmerzoug, Djamel. "Designing Complex Agent Interaction Protocols Using Colored Petri Nets." International Journal of Agent Technologies and Systems 6, no. 2 (2014): 51–72. http://dx.doi.org/10.4018/ijats.2014040103.

Full text

Abstract:

This paper deals with one of the key issue in modern enterprises applications: the Agents Interaction Protocols (AiP) that are interconnecting the different parts involved in collaborative activities. The challenge here is twofold. First, we must provide a formal model that is rich enough to capture interactions characteristics. Second, we must allow designers to combine existing protocols to achieve a new specific need. The paper introduces a formal analysis framework allowing the verification of the conformance between interaction protocols. The semantics of AiP notations used in our approac

APA, Harvard, Vancouver, ISO, and other styles

12

Marzougui, Borhen, Khaled Hassine, and Kamel Barkaoui. "A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets." Journal of Software Engineering and Applications 03, no. 12 (2010): 1118–24. http://dx.doi.org/10.4236/jsea.2010.312130.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Kouah, Sofia, Djamel Eddine Saïdouni, and Ilham Kitouni. "Open Fuzzy Synchronized Petri Net." International Journal of Intelligent Information Technologies 12, no. 1 (2016): 63–94. http://dx.doi.org/10.4018/ijiit.2016010104.

Full text

Abstract:

Designing Multi agent systems needs a high-level specification model which supports abstraction, dynamicity, openness and enables fuzziness. Since the model of Synchronized Petri Nets supports dynamicity and abstraction, we extend it by fuzziness, openness and interaction with environment. The proposed model called Open Fuzzy Synchronized Petri Nets (OFSyPN for short) associates action name with transitions and enables openness feature and interaction with environment. Each action has an uncertainty degree and places are typed. The authors give an operational semantics for OFSyPN in terms of F

APA, Harvard, Vancouver, ISO, and other styles

14

Kefi, M., O. Korbaa, K. Ghedira, and P. Yim. "FORMALISING AN AGENT-BASED CONTAINER STACKING MODEL VIA PETRI NETS." IFAC Proceedings Volumes 39, no. 3 (2006): 357–62. http://dx.doi.org/10.3182/20060517-3-fr-2903.00192.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Hsieh, Fu-Shiung. "Developing cooperation mechanism for multi-agent systems with Petri nets." Engineering Applications of Artificial Intelligence 22, no. 4-5 (2009): 616–27. http://dx.doi.org/10.1016/j.engappai.2009.02.006.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Behrens, Tristan M., and Jürgen Dix. "Model checking multi-agent systems with logic based Petri nets." Annals of Mathematics and Artificial Intelligence 51, no. 2-4 (2007): 81–121. http://dx.doi.org/10.1007/s10472-008-9092-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

de Araújo Lima, Emerson Ferreira, Jorge César Abrantes de Figueiredo, and Dalton Dario Serey Guerrero. "Using Coloured Petri Nets to Compare Mobile Agent Design Patterns." Electronic Notes in Theoretical Computer Science 95 (May 2004): 287–305. http://dx.doi.org/10.1016/j.entcs.2004.04.017.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

CHANG, LILY, XUDONG HE, and SOL M. SHATZ. "A METHODOLOGY FOR MODELING MULTI-AGENT SYSTEMS USING NESTED PETRI NETS." International Journal of Software Engineering and Knowledge Engineering 22, no. 07 (2012): 891–925. http://dx.doi.org/10.1142/s0218194012500246.

Full text

Abstract:

In the past two decades, multi-agent systems have emerged as a new paradigm for conceptualizing large and complex distributed software systems. Even though there are many conceptual frameworks for using multi-agent systems, there is no well established and widely accepted method for the representation of multi-agent systems. We adapt a well-known formal model, predicate transition nets, to include the notions of dynamic structure, agent communication and coordination to address the representation problems. This paper presents a comprehensive methodology for modeling multi-agents based on the e

APA, Harvard, Vancouver, ISO, and other styles

19

Mardian, Rizki, and Kosuke Sekiyama. "Model-Based Design and Control of Distributed DNA-Based Systems by Petri Nets." Nano 11, no. 01 (2016): 1650003. http://dx.doi.org/10.1142/s179329201650003x.

Full text

Abstract:

Coordination is an important aspect in developing distributed systems. While in silicon-based agents, i.e., mechanical robotics, designing individual-level behavior that may emerge into one global function is a typical approach to such systems, in DNA-based agents, programming of each individual’s behavior still remains a challenge, as they are based on chemical reactions. These reactions occur immediately after all reactants have been mixed into a solution, which introduces challenges in logical control. In this work, we report a design strategy for coordinated event-driven DNA-based systems

APA, Harvard, Vancouver, ISO, and other styles

20

Hsieh, Fu-Shiung. "Design of scalable agent-based reconfigurable manufacturing systems with Petri nets." International Journal of Computer Integrated Manufacturing 31, no. 8 (2018): 748–59. http://dx.doi.org/10.1080/0951192x.2018.1429665.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Lee, Jonathan, K. F. R. Liu, Y. C. Wang, and W. Chiang. "Possibilistic Petri nets as a basis for agent service description language." Fuzzy Sets and Systems 144, no. 1 (2004): 105–26. http://dx.doi.org/10.1016/j.fss.2003.10.016.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Chang, Lily, and Xudong He. "A Methodology to Analyze Multi-Agent Systems Modeled in High Level Petri Nets." International Journal of Software Engineering and Knowledge Engineering 25, no. 07 (2015): 1199–235. http://dx.doi.org/10.1142/s0218194015500230.

Full text

Abstract:

This paper presents a methodology for analyzing multi-agent systems modeled in nested predicate transition nets. The objective is to automate the model analysis for complex systems, and provide a foundation for tool development. We formally define the translation rules that translate the multi-agent model to an executable PROMELA model, and demonstrate the translation with an example.

APA, Harvard, Vancouver, ISO, and other styles

23

XU, DIANXIANG, RICHARD A. VOLZ, THOMAS R. IOERGER, and JOHN YEN. "MODELING AND ANALYZING MULTI-AGENT BEHAVIORS USING PREDICATE/TRANSITION NETS." International Journal of Software Engineering and Knowledge Engineering 13, no. 01 (2003): 103–24. http://dx.doi.org/10.1142/s0218194003001184.

Full text

Abstract:

How agents accomplish a goal task in a multi-agent system is usually specified by multi-agent plans built from basic actions (e.g. operators) of which the agents are capable. The plan specification provides the agents with a shared mental model for how they are supposed to collaborate with each other to achieve the common goal. Making sure that the plans are reliable and fit for the purpose for which they are designed is a critical problem with this approach. To address this problem, this paper presents a formal approach to modeling and analyzing multi-agent behaviors using Predicate/Transitio

APA, Harvard, Vancouver, ISO, and other styles

24

HUANG, Xingli, Hua XU, and Peifa JIA. "Fuzzy Timed Agent Based Petri Nets for Modeling Cooperative Multi-Robot Systems." International Journal of Communications, Network and System Sciences 02, no. 09 (2009): 827–35. http://dx.doi.org/10.4236/ijcns.2009.29096.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Gorbachenko, I. M. "Multi-agent modeling of the learning process using nested colored Petri nets." Journal of Physics: Conference Series 1399 (December 2019): 033022. http://dx.doi.org/10.1088/1742-6596/1399/3/033022.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Abid, Khadija, Leila Hayet Mouss, Okba Kazar, and Laid Kahloul. "Formal approach based on petri nets using agent paradigm for m-maintenance." International Journal of Critical Computer-Based Systems 7, no. 1 (2017): 91. http://dx.doi.org/10.1504/ijccbs.2017.084066.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Khoukhi, Amar. "Neural based RSPN multi-agent strategy for biped motion control." Robotica 19, no. 6 (2001): 611–17. http://dx.doi.org/10.1017/s0263574701003344.

Full text

Abstract:

In this paper fhe problem of motion control of a biped is considered. We develop a new method based on multi-agent associated Neural AIGLS (On-line Augmented Integration of Gradient and Last Sguare method) – RSPN (Recursive Stochastic Petri Nets) strategy. This method deals with organization and coordination aspects in an intelligent modeling of human motion. We propose a cooperative multi-agent model. Based on this model, we develop a control kernel named IMCOK (Intelligent Motion COntrol Kernel) which consists of a controller, a coordinator and an executor of different cycles of the motion o

APA, Harvard, Vancouver, ISO, and other styles

28

BENNOUI, HAMMADI, ALLAOUA CHAOUI, and KAMEL BARKAOUI. "ON STRUCTURAL ANALYSIS OF INTERACTING BEHAVIORAL PETRI NETS FOR DISTRIBUTED CAUSAL MODEL-BASED DIAGNOSIS." International Journal of Foundations of Computer Science 23, no. 07 (2012): 1523–41. http://dx.doi.org/10.1142/s0129054112500220.

Full text

Abstract:

This paper deals with the problem of distributed causal model-based diagnosis on interacting Behavioral Petri Nets (BPNs). The system to be diagnosed comprises different interacting subsystems (each modeled as a BPN) and the diagnostic system is defined as a multi-agent system where each agent is designed to diagnose a particular subsystem on the basis of its local model, the local received observation and the information exchanged with the neighboring agents. The interactions between subsystems are captured by tokens that may pass from one net model to another via bordered places. The diagnos

APA, Harvard, Vancouver, ISO, and other styles

29

Zhao, Can Can, Xiao Dong Zhang, Shao Juan Lei, and Jun Jiang Qiu. "Agent-Based Modeling and Simulation on Multi-Stage Supply Chain Operation." Advanced Materials Research 291-294 (July 2011): 3216–20. http://dx.doi.org/10.4028/www.scientific.net/amr.291-294.3216.

Full text

Abstract:

Supply chain simulation is a fundamental approach for supply chain prediction, management, evaluation, and improvement. In order to simulate member behavior, organizational strategy, and management strategy of the supply chain, an agent-based modeling and simulation approach on multi-stage supply chain operation was proposed in this paper. First, the model structure of multi-stage supply chain operation was introduced. Then, the individual agent behavior model was emphatically studied, and hierarchical colored Petri-nets were used to describe the agent behavior process and cooperative behavior

APA, Harvard, Vancouver, ISO, and other styles

30

Gonçalves, Eder Mateus Nunes, Ricardo Arend Machado, Bruno Coelho Rodrigues, and Diana Adamatti. "CPN4M: Testing Multi-Agent Systems under Organizational Model Moise+ Using Colored Petri Nets." Applied Sciences 12, no. 12 (2022): 5857. http://dx.doi.org/10.3390/app12125857.

Full text

Abstract:

Multi-agent systems (MASs) are distributed and complex software that demand specific software engineering features. Testing is a critical phase when validating software, and it is also difficult to conceive and execute. Designing systems under a multi-agent paradigm is even more difficult because of properties such as autonomy, reactivity, pro-activity, and social skills. Any multi-agent system has at least three main dimensions: the individual and social levels and communication interfaces. Considering an approach for testing a dimension specifically, we deal with the social level as an organ

APA, Harvard, Vancouver, ISO, and other styles

31

Chen, Jian, Zhi Guo Liu, Long Ma, and Feng Wang. "Research on CGF Decision-Making Algorithm Based on Fuzzy Petri Nets." Applied Mechanics and Materials 344 (July 2013): 253–59. http://dx.doi.org/10.4028/www.scientific.net/amm.344.253.

Full text

Abstract:

CGF architecture model reflects the physical behavior of operational entity Agent and the whole system. As to the CGF system, it is necessary to build not only the physical behavior model, but also intelligent decision model to reflect the subjective awareness behavior of the system. Taking offensive and defensive confrontation CGF decision-making system as the background, we analyze the relevant factors which could affect CGF decision, and build a kind of fuzzy petri net to model the CGF decision-making system. At last, a relevant inference algorithm is proposed.

APA, Harvard, Vancouver, ISO, and other styles

32

Messaouda, Bouneb, and Saïdouni Djamel Eddine. "Hierarchical Design Method for Multi-Agent Systems." International Journal of Agent Technologies and Systems 7, no. 2 (2015): 105–34. http://dx.doi.org/10.4018/ijats.2015040104.

Full text

Abstract:

This paper proposes a new hierarchical design method for the specification and the verification of multi agent systems (MAS). For this purpose, the authors propose the model of Refinable Recursive Petri Nets (RRPN) under a maximality semantics. In this model, a notion of undefined transitions is considered. The underlying semantics model is the Abstract Maximality-based Labeled Transition System (AMLTS). Hence, the model supports a definition of a hierarchical design methodology. The example of goods transportation is used for illustrating the approach. For the system assessment, the propertie

APA, Harvard, Vancouver, ISO, and other styles

33

Zhao, Can Can, Xiao Dong Zhang, and Jun Jiang Qiu. "Member Behavior-Oriented Simulation Research for Supply Chain Coordination." Advanced Materials Research 490-495 (March 2012): 2489–93. http://dx.doi.org/10.4028/www.scientific.net/amr.490-495.2489.

Full text

Abstract:

In order to reflect the initiative, autonomous and coordinative characteristics of the member behaviors in supply chain coordination simulation, an integrated process simulation model was formulated centered on the member agent behavior firstly. Then, the member agent behavior model was emphatically studied, and hierarchical colored Petri-nets were used to describe the agent behavior process and coordinative behavior process. Finally, a supply chain coordination simulation platform was developed based on these models, and the member behavior-oriented modeling and simulation functions were real

APA, Harvard, Vancouver, ISO, and other styles

34

Tolbi, Bilal. "Optimal Supervisory Control of Two Phases Intersection Using Hybrid-based Model Approach." Journal of Engineering Science and Technology Review 13, no. 5 (2020): 106–13. http://dx.doi.org/10.25103/jestr.135.14.

Full text

Abstract:

In the present paper, a hybrid approach that combines modular modelling and Timed Petri Nets model is proposed, the main interest of this combination is to ensure optimal supervisory control of urban traffic flows in two phases intersections of medium-sized cities. Each intersection is considered as a multi-agent system, composed of all agents who represent all physical spaces. The behaviours of interconnected agents are supervised by the Timed Petri Nets model that controls the traffic light cycles according to an optimal timing plan defined by the Continuous Genetic Algorithm. A real two pha

APA, Harvard, Vancouver, ISO, and other styles

35

Lee, Jin-Shyan, and Pau-Lo Hsu. "Implementation of a Remote Hierarchical Supervision System Using Petri Nets and Agent Technology." IEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews) 37, no. 1 (2007): 77–85. http://dx.doi.org/10.1109/tsmcc.2006.876056.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Fierro, Luis H., Ruth E. Cano, and José I. García. "Modelling of a multi-agent supply chain management system using Colored Petri Nets." Procedia Manufacturing 42 (2020): 288–95. http://dx.doi.org/10.1016/j.promfg.2020.02.095.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Byung Kwon, Oh. "Modeling and generating context-aware agent-based applications with amended colored Petri nets." Expert Systems with Applications 27, no. 4 (2004): 609–21. http://dx.doi.org/10.1016/j.eswa.2004.06.008.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Lee, Jin-Shyan. "A filtering agent scheme to remote control of industrial processes using Petri nets." Expert Systems with Applications 38, no. 12 (2011): 15310–15. http://dx.doi.org/10.1016/j.eswa.2011.06.035.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Wang, Su Zhen, and Zhi Juan Du. "Mobile Cloud Computing: Architecture and Security." Applied Mechanics and Materials 321-324 (June 2013): 2274–81. http://dx.doi.org/10.4028/www.scientific.net/amm.321-324.2274.

Full text

Abstract:

This paper proposed a mobile cloud computing architecture based on mobile Agent paradigm for the problems faced by the mobile cloud computing, for example, application migration on network, network latency and non-persistent connection issues caused by execution on the remote device, cloud-crossed service problems, and security risks and privacy issues. In this architecture, Contract Net Protocol is optimized and used in the synergy among the mobile Agent. Mobile Agent is authenticated by exchanging keys, where the exchange key uses ideas of quantum teleportation based on multiple particle ort

APA, Harvard, Vancouver, ISO, and other styles

40

XU, HAIPING, ZHIGUO ZHANG, and SOL M. SHATZ. "A SECURITY BASED MODEL FOR MOBILE AGENT SOFTWARE SYSTEMS." International Journal of Software Engineering and Knowledge Engineering 15, no. 04 (2005): 719–46. http://dx.doi.org/10.1142/s0218194005002518.

Full text

Abstract:

Security modeling for agents has been one of the most challenging issues in developing practical mobile agent software systems. In the past, researchers have developed mobile agent systems with emphasis either on protecting mobile agents from malicious hosts or protecting hosts from malicious agents. In this paper, we propose a security based mobile agent system architecture that provides a general solution to protecting both mobile agents and agent hosts in terms of agent communication and agent migration. We present a facilitator agent model that serves as a middleware for secure agent commu

APA, Harvard, Vancouver, ISO, and other styles

41

Kissoum, Yacine, Zaidi Sahnoun, and Kamel Barkaoui. "A Formal Approach for Modeling and Testing Agent Interactions Using Recursive Colored Petri Nets." Recent Patents on Computer Sciencee 3, no. 1 (2010): 39–53. http://dx.doi.org/10.2174/2213275911003010039.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Kissoum, Yacine, Zaidi Sahnoun, and Kamel Barkaoui. "A Formal Approach for Modeling and Testing Agent Interactions Using Recursive Colored Petri Nets." Recent Patents on Computer Science 3, no. 1 (2010): 39–53. http://dx.doi.org/10.2174/1874479611003010039.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Lomazova, Irina A. "Nested Petri Nets — a Formalism for Specification and Verification of Multi-Agent Distributed Systems." Fundamenta Informaticae 43, no. 1-4 (2000): 195–214. http://dx.doi.org/10.3233/fi-2000-43123410.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Yamaguchi, Shingo. "White-Hat Worm to Fight Malware and Its Evaluation by Agent-Oriented Petri Nets." Sensors 20, no. 2 (2020): 556. http://dx.doi.org/10.3390/s20020556.

Full text

Abstract:

A new kind of malware called Mirai is spreading like wildfire. Mirai is characterized by targeting Internet of Things (IoT) devices. Since IoT devices are increasing explosively, it is not realistic to manage their vulnerability by human-wave tactics. This paper proposes a new approach that uses a white-hat worm to fight malware. The white-hat worm is an extension of an IoT worm called Hajime and introduces lifespan and secondary infectivity (the ability to infect a device infected by Mirai). The proposed white-hat worm was expressed as a formal model with agent-oriented Petri nets called PN 2

APA, Harvard, Vancouver, ISO, and other styles

45

Gudiño-Mendoza, Berenice, Ernesto López-Mellado, and Enrique Aguayo-Lara. "A scheme for the simulation of networked agent systems modeled by timed hybrid Petri nets." SIMULATION 94, no. 10 (2017): 887–909. http://dx.doi.org/10.1177/0037549717737861.

Full text

Abstract:

A novel scheme for simulating networked agent systems is presented. In this approach, the system is composed of identical communicating agents, which have multi-role capabilities in such a manner that they can perform diverse tasks, according to a given execution context. The agent’s behavior is modeled using a timed hybrid Petri net ( THPN) whose evolution, valid for all the agents, is computed off-line using Matlab. The agents are interconnected and simulated in a Java platform using the JADE middle-ware.

APA, Harvard, Vancouver, ISO, and other styles

46

Čapkovič, František. "Dealing with Deadlocks in Industrial Multi Agent Systems." Future Internet 15, no. 3 (2023): 107. http://dx.doi.org/10.3390/fi15030107.

Full text

Abstract:

Automated Manufacturing Systems (AMS) consisting of many cooperating devices incorporated into multiple cooperating production lines, sharing common resources, represent industrial Multi-Agent Systems (MAS). Deadlocks may occur during operation of such MAS. It is necessary to deal with deadlocks (more precisely said, to prevent them) to ensure the correct behavior of AMS. For this purpose, among other methods, methods based on Petri nets (PN) are used too. Because AMS are very often described by PN models, two PN-based methods will be presented here, namely based on (i) PN place invariants (P-

APA, Harvard, Vancouver, ISO, and other styles

47

MAHMOUD, QUSAY H., and MOSAAB DAOUD. "AN ANALYTICAL APPROACH TO RELIABILITY ESTIMATION OF MOBILE AGENT-BASED SYSTEMS." Journal of Interconnection Networks 07, no. 02 (2006): 217–33. http://dx.doi.org/10.1142/s0219265906001685.

Full text

Abstract:

Reliability estimation of mobile agent-based systems remains a difficult task due to the characteristics of mobile agents that include distributed and asynchronous execution, autonomy, and mobility. In this paper we present an analytical approach to estimate the reliability of mobile agent-based systems. We define the reliability of a mobile agent in terms of the processor execution time required to perform agent's tasks at each processing node and the transmission or communication time needed to transfer the agent from one processing node to another via a network to complete its mission. The

APA, Harvard, Vancouver, ISO, and other styles

48

QASIM, A., S. A. R. KAZMI, and I. FAKHIR. "Formal Specification and Verification of Real-Time Multi-Agent Systems using Timed-Arc Petri Nets." Advances in Electrical and Computer Engineering 15, no. 3 (2015): 73–78. http://dx.doi.org/10.4316/aece.2015.03010.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Bai, Quan, Fenghui Ren, Minjie Zhang, and John Fulcher. "Using colored petri nets to predict future states in agent-based scheduling and planning systems." Multiagent and Grid Systems 6, no. 5-6 (2010): 527–42. http://dx.doi.org/10.3233/mgs-2010-0164.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

RAMOS-QUINTANA, FERNANDO, JUAN FRAUSTO-SOLIS, and FRANCISCO CAMARGO-SANTACRUZ. "A METHODOLOGY FOR MODELING INTERACTIONS IN COOPERATIVE INFORMATION SYSTEMS USING COLOURED PETRI NETS." International Journal of Software Engineering and Knowledge Engineering 12, no. 06 (2002): 619–35. http://dx.doi.org/10.1142/s0218194002001104.

Full text

Abstract:

Cooperative Information Systems (CIS) become relevant to integrate different kinds of systems so as to work collaboratively for a common goal. CIS are considered by nature as dynamic systems, and one of the most difficult problems is how to model and control multiple simultaneous interactions among agents in a friendly way. Consequently, expressiveness becomes a problem related to the representation so far, the similar systems cope neither with the problem of expressiveness nor with multiple interactions in a satisfactory way. It is proposed an integrated methodology based on Coloured Petri Ne

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!