MODEL CHECKING PLANS FOR FLEXIBLE MANUFACTURING SYSTEMS
暂无分享,去创建一个
[1] Jean-Marie Proth,et al. Petri nets : a tool for design and management of manufacturing systems , 1996 .
[2] L. D. da Silva. A formal approach for the verification of multiagent plans based on model checking and Petri nets , 2004, ICSE 2004.
[3] Alan A. Desrochers,et al. Applications of Petri Nets in Manufacturing Systems: Modeling, Control, and Performance Analysis , 1994 .
[4] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[5] Haiping Xu,et al. A framework for modeling agent-oriented software , 2001, Proceedings 21st International Conference on Distributed Computing Systems.
[6] MengChu Zhou,et al. Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.
[7] John Yen,et al. Modeling and verifying multi-agent behaviors using predicate/transition nets , 2002, SEKE '02.
[8] Kurt Jensen,et al. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .
[9] Marco Pistore,et al. Planning as Model Checking for Extended Goals in Non-deterministic Domains , 2001, IJCAI.
[10] Manuela M. Veloso,et al. OBDD-Based Universal Planning for Multiple Synchronized Agents in Non-Deterministic Domains , 2000, AIPS.
[11] Angelo Perkusich,et al. A Systematic and Formal Approach to the Specification of Flexible Manufacturing Systems Reusing Coloured Petri Nets Models , 2004 .
[12] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[13] Marco Roveri,et al. Conformant Planning via Symbolic Model Checking , 2000, J. Artif. Intell. Res..
[14] Simon Peck,et al. Practice of Petri Nets in Manufacturing , 1993 .