Automatic modeling for performance evaluation of inventory and outbound distribution

Authors:
Gabriel Alves De Albuquerque;Paulo Romero Martins Maciel;Ricardo Massa Ferreira Lima;Armin Zimmermann
Affiliations:
Center for Informatics, Federal University of Pernambuco, Recife, Brazil;Center for Informatics, Federal University of Pernambuco, Recife, Brazil;Center for Informatics, Federal University of Pernambuco, Recife, Brazil;Technische Universität Ilmenau, Ilmenau, Germany
Venue:
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Year:
2010

Citing 18
Cited 2

A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

ACM Transactions on Computer Systems (TOCS)
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3

Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Probability and statistics with reliability, queuing and computer science applications

Probability and statistics with reliability, queuing and computer science applications
Java Native Interface: Programmer's Guide and Reference

Java Native Interface: Programmer's Guide and Reference
Introducation to stochastic Petri nets

Lectures on formal methods and performance analysis
Checking properties of nets using transformation

Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
On Petri nets with deterministic and exponentially distributed firing times

Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Coloured Petri nets: A high level language for system design and analysis

Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis

Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Contributing to Eclipse: Principles, Patterns, and Plugins

Contributing to Eclipse: Principles, Patterns, and Plugins
Queueing Networks and Markov Chains

Queueing Networks and Markov Chains
A Stochastic Petri Net Approach for Inventory Rationing in Multi-Echelon Supply Chains

Journal of Heuristics
Stochastic Discrete Event Systems: Modeling, Evaluation, Applications

Stochastic Discrete Event Systems: Modeling, Evaluation, Applications
A generic P/T net model and framework for concurrent integrated design and planning of electromechanical assemblies

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Petri net translation patterns for the analysis of ebusiness collaboration messaging protocols

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Modeling and Performance Evaluation of Inventory Systems Using Batch Deterministic and Stochastic Petri Nets

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Analysis of Flexible Assembly Processes Based on Structural Decomposition of Petri Nets

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Modeling Approach for Flexible Production Chain Operation

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans

Towards the Evaluation of Environment and Business Trade-offs in Supply Chains

Electronic Notes in Theoretical Computer Science (ENTCS)
Performance evaluation of medical imaging service

Proceedings of the 27th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes a methodology for modeling and evaluating supply chains based on generalized stochastic Petri net (GSPN) components. The proposed modeling process is based on a bottom-up approach, which assures desirable model properties that start from a set of predefined modules for typical supply chain entities. A compositional algebra that formally defines GSPN compositions is presented. The proposed methodology is supported by an implementation of the methodology in the stochastic logistics optimizer tool (SLOT). An industrial case study has been conducted to show the benefits of the approach.