Evaluation of AGV routing strategies using hierarchical simulation
WSC '95 Proceedings of the 27th conference on Winter simulation
Modeling and control of deadlocks in a flexible machining cell
WSC '93 Proceedings of the 25th conference on Winter simulation
Stochastic processes as concurrent constraint programs
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Integrated modeling and analysis generator environment (IMAGE): a decision support tool
Proceedings of the 30th conference on Winter simulation
Discrete-Event Simulation of Fluid Stochastic Petri Nets
IEEE Transactions on Software Engineering
Metrics for Labeled Markov Systems
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Performance analysis and buffer allocations in some open assembly systems
Computers and Operations Research
Approximating Labeled Markov Processes
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Discrete-event simulation of fluid stochastic Petri nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Automatic verification of industrial designs
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Approximating labelled Markov processes
Information and Computation
Metrics for labelled Markov processes
Theoretical Computer Science - Logic, semantics and theory of programming
Modular Fault Diagnosis Based on Discrete Event Systems
Discrete Event Dynamic Systems
A Stochastic Petri Net Approach for Inventory Rationing in Multi-Echelon Supply Chains
Journal of Heuristics
Computers and Operations Research
Modelling, analysis and execution of multi-robot tasks using petri nets
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
An absorbing Markov chain model for production systems with rework and scrapping
Computers and Industrial Engineering
Computers and Operations Research
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
Applying multi-agent technique in multi-section flexible manufacturing system
Expert Systems with Applications: An International Journal
Expert Systems with Applications: An International Journal
Autonomous Agents and Multi-Agent Systems
Original Articles: Coloured Petri net scheduling models: Timed state space exploration shortages
Mathematics and Computers in Simulation
Computers and Industrial Engineering
Scheduling policies in multi-product manufacturing systems with sequence-dependent setup times
Proceedings of the Winter Simulation Conference
| Hi-index | 0.00 |