847 Hits in 7.8 sec

A Petri net model of distributed control in a holonic Manufacturing Execution System

I. Demongodin, J-C. Hennet
2008 IFAC Proceedings Volumes  
This paper proposes mathematical criteria to represent the agents' goals, a game theoretic approach to analyze the possible outcomes of the negotiation process, and a Petri net model to represent the interaction  ...  In particular, certain conditions are proposed under which the following requirements are verified: no-blocking, selection of exactly one resource for each order, protocol termination in a bounded time  ...  The Petri net models proposed in this study rely on the approximation of the duration of computational tasks by time intervals.  ... 
doi:10.3182/20080706-5-kr-1001.02694 fatcat:dzsvp34ebbfcpb65w4mhjzyc4q

If more than Analytical Modeling is Needed to Predict Real Agents' Strategic Interaction [article]

Rustam Tagiew
2011 arXiv   pre-print
This paper presents the research on the interdisciplinary research infrastructure for understanding human reasoning in game-theoretic terms.  ...  The provided introduction explains and connects concepts from AI, game theory and psychology.  ...  The first is based on cognitive architectures [59, 60] , which are languages for models of general human reasoning. The second is based on Multi-Agent Influence Diagrams (MAID) [51] .  ... 
arXiv:1105.0558v1 fatcat:62nyenvnkrcz3ptmatphvzmaiq

Page 2068 of Mathematical Reviews Vol. , Issue 2003C [page]

2003 Mathematical Reviews  
The expressiveness of ntcc is illustrated by modeling cells, timed systems such as RCX con- trollers, multi-agent systems such as the predator-prey game, and musical applications such as the generation  ...  (English summary) Comput. Sci. J. Moldova 9 (2001), no. 3, 350-368. A jump of a Petri net is a spontaneous move from a state M toa state M’. The paper extends Petri nets by finitely many jumps.  ... 

Timed-Arc Petri-Nets based Agent Communication for Real-Time Multi-Agent Systems

Awais Qasim, Sidra Kanwal, Adnan Khalid, Syed Asad, Jawad Hassan
2019 International Journal of Advanced Computer Science and Applications  
This research focuses on Timed-Arc Petri-netsbased agent communication in real-time multi-agent systems. The Agent Communication Language is a standard language for the agents to communicate.  ...  The main objective of this research is to provide a method of modeling existing FIPA performatives by combining Timed-Arc Petri-nets in real-time multi-agent systems.  ...  The main idea of this research is to formally model the existing FIPA performatives by Timed Arc Petri-Nets (TAPNs) in real-time multi-agent systems.  ... 
doi:10.14569/ijacsa.2019.0100970 fatcat:pfyecnablrb5jfod4gga2m6yh4

How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract)

Nils Bulling, Valentin Goranko
2013 Electronic Proceedings in Theoretical Computer Science  
We propose a logical framework combining a game-theoretic study of abilities of agents to achieve quantitative objectives in multi-player games by optimizing payoffs or preferences on outcomes with a logical  ...  We enrich concurrent game models with payoffs for the normal form games associated with the states of the model and propose a quantitative extension of the logic ATL* enabling the combination of quantitative  ...  Acknowledgements: We thank the anonymous referees for detailed and helpful comments and additional references.  ... 
doi:10.4204/eptcs.112.8 fatcat:hpx5eqshsnditohhw5d6eaf6x4

Logics for Physarum Chips

Andrew Schumann, Krzysztof Pancerz
2016 Studia Humana  
The paper considers main features of two groups of logics for biological devices, called Physarum Chips, based on the plasmodium.  ...  The second group of logics for Physarum Chips covers the plasmodium computing under conditions of nutrient-rich substrate.  ...  We would like to express our especially warm gratitude to Andy Adamatzky, the leader of the projectthe collaboration with whom was very interesting and promising for us.  ... 
doi:10.1515/sh-2016-0002 fatcat:etwgccd5sbhhleg33nf6bfmn2y

Designing a Dynamic Buyer-Supplier Coordination Model in Electronic Markets Using Stochastic Petri Nets

Iraj Mahdavi, Shima Mohebbi, Namjae Cho, Mohammad M. Paydar
2008 International Journal of Information Systems and Supply Chain Management (IJISSCM)  
The study is supported by presenting SC Net Optimizer as a tool for implementing the proposed coordination mechanism and evaluates the performance of the chain by simulation using stochastic Petri nets  ...  Here, we develop a supply chain model and a new agent to analyze and simulate the players' behavior in the network.  ...  For more details on PN, readers are referred to Jensen (1997) . Although the literature of Petri nets is comprehensive, very little work applied Petri nets to modeling of supply chains.  ... 
doi:10.4018/jisscm.2008070101 fatcat:s7gqdwqxovclzhchwnqa6sm2pi

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.  ...  metrics can be identified to compare the relative performance of multi-agent systems.  ...  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

2015 Index IEEE Transactions on Automatic Control Vol. 60

2015 IEEE Transactions on Automatic Control  
., +, TAC May 2015 1422-1426 Finite automata An Augmented Petri Net Model for Health-Care Protocols.  ...  ., +, TAC Dec. 2015 3367-3372 Finite state machines A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata.  ... 
doi:10.1109/tac.2015.2512305 fatcat:5gut6qeomfh73fwfvehzujbr5q

Winner determination for mixed multi-unit combinatorial auctions via petri nets

Andrea Giovannucci, J. A. Rodriguez-Aguilar, Jesus Cerquides, Ulle Endriss
2007 Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems - AAMAS '07  
Here we provide a formalism, based on an extension of Petri Nets, with which MMUCAs, and therefore all auction types subsumed by MMUCAs -and in particular combinatorial auctions for supply chain formation  ...  Mixed Multi-Unit Combinatorial Auctions (MMUCAs) allow agents to bid for bundles of goods to buy, goods to sell, and transformations of goods.  ...  Based on such an extension, we provide the definition of a new optimisation problem on Petri nets.  ... 
doi:10.1145/1329125.1329253 dblp:conf/atal/GiovannucciRCE07 fatcat:ezrbqqa2avbvvcoatb7o4vefm4

DFG Research Training Group "Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)"DFG-Graduiertenkolleg "Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn)"

Wolfgang Thomas, Kai Bollue, Dominique Gückel, Gustavo Quiros, Michaela Slaats, Michael Ummels
2009 it - Information Technology  
Algorithmic program synthesis is possible in restricted scenarios, in particular in reactive multi-agent systems with low data complexity and in control systems.  ...  Central issues are the establishment of system models that support algorithmic solutions, the combination of discrete and continuous parameters (in hybrid systems), and the exploration of applications.  ...  It is known that these finite-state games for regular winning conditions can be "solved": One can compute whether Eve has a winning strategy for plays from a given initial vertex of the game arena, and  ... 
doi:10.1524/itit.2009.0545 fatcat:lh6p234aajgfdhfze27zy33fpa

Multi-Objective Workflow Scheduling With Deep-Q-Network-Based Multi-Agent Reinforcement Learning

Yuandou Wang, Hang Liu, Wanbo Zheng, Yunni Xia, Yawen Li, Peng Chen, Kunyin Guo, Hong Xie
2019 IEEE Access  
Cloud Computing provides an effective platform for executing large-scale and complex workflow applications with a pay-as-you-go model.  ...  In this paper, we apply a deep-Q-network model in a multi-agent reinforcement learning setting to guide the scheduling of multi-workflows over infrastructure-as-a-service clouds.  ...  His research interests are in Petri nets, software quality, performance evaluation, and cloud computing system dependability.  ... 
doi:10.1109/access.2019.2902846 fatcat:6coxb477kbbi5dnqz7mjqyzvxy

Analyzing Multi-agent Activity Logs Using Process Mining Techniques [chapter]

Anne Rozinat, Stefan Zickler, Manuela Veloso, Wil M. P. van der Aalst, Colin McMillen
2009 Distributed Autonomous Robotic Systems 8  
In this paper we propose to use process mining techniques to extract, compare, and enhance models of the actual behavior of a multi-agent robotic system through analyzing collected log data.  ...  We use the example of robot soccer as such a multi-agent robotic system, and we demonstrate which types of analysis are currently possible in the context of the process mining tool set ProM.  ...  Furthermore, we thank all ProM developers for their on-going work on process mining techniques. Special thanks to Christian W.  ... 
doi:10.1007/978-3-642-00644-9_22 dblp:conf/dars/RozinatZVAM08 fatcat:52y4mvxoava6nefl4dawe3cw5q

Petri Net Robotic Task Plan Representation: Modelling, Analysis and Execution [chapter]

Hugo Costelha, Pedro Lim
2010 Autonomous Agents  
Petri nets are preferred to Finite State Automata (FSA) due to their larger modelling power and because one can model the same state space with a smaller graph.  ...  Petri Nets Petri nets (Petri, 1966) are a widely used formalism for modelling Discrete Event Dynamic Systems (DEDS).  ...  This task plan can be ran directly on the robots for execution purposes and, for analysis purposes, we compose all the models that were designed separately onto one single Petri net, and analyse that net  ... 
doi:10.5772/9659 fatcat:3o6tk2vroredrish7talsyxjl4

On fixpoint logics and equivalences for processes with restricted nondeterminism

Julian Gutierrez
2015 Journal of Logic and Computation  
Each kind of semantics endows concurrency models with different computational properties; see [22, 27] , and the references therein, for two comprehensive studies on the subject.  ...  More specifically, we study the impact that nondeterminism can have on some fixpoint modal logics and bisimulation equivalences for concurrent and multi-agent systems, when it is systematically restricted  ...  I thank the support of the ERC Advance Grant RACE and Michael Wooldridge for useful comments on an initial version of the paper.  ... 
doi:10.1093/logcom/exv032 fatcat:lnpbai3nvzcgxgbvauammc2yge
« Previous Showing results 1 — 15 out of 847 results