|
Logic & Agent Modeling Approaches
Session Slot: T-Tu-A19
Area Code: 1c
|
| Paper Title | Authors | | |
| CSP Generation from Petri-Nets Models | Daniel Riera, Miquel A. Piera and Antoni Guasch |  |  |
| Throughput Analysis of a Multirobot System via Timed Petri Net Models | J.L González Sánchez, M. Mediavilla Pascual, J.C. Fraile Marinero, F. Gayubo Rojo, J. Pérez Turiel, F.J. García González | | |
| Multi-Agent Control of Holonic Manufacturing Systems Based on Petri Net | Fu-Shiung Hsieh | | |
| Agents Coalition in Coordination Process | Dang T-Tung., Frankovic B., Budinska I. | | |
| Context-Dependent Agents for Real-Time Scheduling in Manufacturing Systems | Toshiyuki Miyamoto, Bruce H. Krogh, Sadatoshi Kumagai | | |
| Stochastic Modeling and Analysis of Dynamic Plasma Reflection | Y. M. Zhang and Y. Ma | | |