Visualizing Perishable Product Supply Chain Using Petri Net Modeling

Bhardwaj, Manisha; Venaik, Anita; Garg, Pallavi Sharda

doi:10.1007/978-3-031-50192-0_22

IFIP Advances in Information and Communication Technology

2023

DOI: 10.1007/978-3-031-50192-0_22

|View full text |Cite

Visualizing Perishable Product Supply Chain Using Petri Net Modeling

Manisha Bhardwaj,

Anita Venaik,

Pallavi Sharda Garg

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2024

Publication Types

Select...

Article2

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Modeling Chandy–Lamport Distributed Snapshot Algorithm Using Colored Petri Net

Pashazadeh,

Al-Basseer,

Tanha

2024

IET Software

View full text Add to dashboard Cite

Distributed global snapshot (DGS) is one of the fundamental protocols in distributed systems. It is used for different applications like collecting information from a distributed system and taking checkpoints for process rollback. The Chandy–Lamport protocol (CLP) is famous and well‐known for taking DGS. The main aim of this protocol was to generate consistent cuts without interrupting the regular operation of the distributed system. CLP was the origin of many future protocols and inspired them. The first aim of this paper is to propose a novel formal hierarchical parametric colored Petri net model of CLP. The number of constituting processes of the model is parametric. The second aim is to automatically generate a novel message sequence chart (MSC) to show detailed steps for each simulation run of the snapshot protocol. The third aim is model checking of the proposed formal model to verify the correctness of CLP and our proposed colored Petri net model. Having vital tools helps greatly to test the correct operation of the newly proposed distributed snapshot protocol. The proposed model of CLP can easily be used for visually testing the correct operation of the new future under‐development DGS protocol. It also permits formal verification of the correct operation of the new proposed protocol. This model can be used as a simple, powerful, and visual tool for the step‐by‐step run of the CLP, model checking, and teaching it to postgraduate students. The same approach applies to similar complicated distributed protocols.

show abstract

Modeling Chandy–Lamport Distributed Snapshot Algorithm Using Colored Petri Net

Pashazadeh,

Al-Basseer,

Tanha

2024

IET Software

View full text Add to dashboard Cite

show abstract

System Dynamics Modeling: Technological Solution to Evaluating Cold-Chain Meat Packaging Scenarios

Lagarda-Leyva,

Hernández-Valdez,

Bueno-Solano

2024

Systems

View full text Add to dashboard Cite

A cold-chain meat packaging project was developed for a meat product company in northwestern Mexico that moves high volumes of fresh meat into national and international markets. The objective of the present research is to evaluate the supply process for three types of thermo-shrinkable polyethylene bags to provide a technological solution for high-volume meat packaging based on a graphical user interface. A system dynamics (SD) methodology is developed in seven stages to generate a technological solution: (1) system mapping; (2) causal diagram construction; (3) stock, flow modeling, and equations; (4) model simulation; (5) model validation; (6) scenarios and multicriteria analysis; and (7) graphical user interface development. The main result for the company was a technological solution that could communicate with decision-makers and the proposed graphical user interface. Future optimistic and pessimistic scenarios were self-evaluated based on the current situation related to three thermo-shrinkable bags used for selling high volumes of fresh meat. In these solutions, previously simulated costs and savings can be implemented in a real situation. Quantitative graphical user interface data can be observed to adequately manage box and bag inventories and minimize costs. Using SD enables the development of technological solutions in complex environments with robust simulations and models that offer data to people interested in the system under study.

show abstract

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

Visualizing Perishable Product Supply Chain Using Petri Net Modeling

Cited by 2 publications

References 14 publications

Modeling Chandy–Lamport Distributed Snapshot Algorithm Using Colored Petri Net

Modeling Chandy–Lamport Distributed Snapshot Algorithm Using Colored Petri Net

System Dynamics Modeling: Technological Solution to Evaluating Cold-Chain Meat Packaging Scenarios

Contact Info

Product

Resources

About