A product-process-resource based formal modelling framework for customized manufacturing in cyber-physical production systems
Published 2022 View Full Article
- Home
- Publications
- Publication Search
- Publication Details
Title
A product-process-resource based formal modelling framework for customized manufacturing in cyber-physical production systems
Authors
Keywords
-
Journal
INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING
Volume -, Issue -, Pages 1-21
Publisher
Informa UK Limited
Online
2022-01-31
DOI
10.1080/0951192x.2021.1992662
References
Ask authors/readers for more resources
Related references
Note: Only part of the references are listed.- Real-time task processing for spinning cyber-physical production systems based on edge computing
- (2020) Shiyong Yin et al. JOURNAL OF INTELLIGENT MANUFACTURING
- Formal modelling of release control policies as a plug-in for performance evaluation of manufacturing systems
- (2020) Marcello Urgo et al. CIRP ANNALS-MANUFACTURING TECHNOLOGY
- PriMa: a prescriptive maintenance model for cyber-physical production systems
- (2019) Fazel Ansari et al. INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING
- Production planning and scheduling in Cyber-Physical Production Systems: a review
- (2019) Daniel Alejandro Rossit et al. INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING
- A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems
- (2019) Roopak Sinha et al. IEEE Transactions on Industrial Informatics
- From a literature review to a conceptual framework of enablers for smart manufacturing control
- (2019) Rafael A. Rojas et al. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY
- Functional verification of distributed automation systems
- (2019) Andreas Zeller et al. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY
- Formal modeling of cyber-physical resource scheduling in IIoT cloud environments
- (2019) Shashi Bhushan Jha et al. JOURNAL OF INTELLIGENT MANUFACTURING
- A Framework for Smart Production-Logistics Systems based on CPS and Industrial IoT
- (2018) Yingfeng Zhang et al. IEEE Transactions on Industrial Informatics
- Formal modeling and verification of a part manufacturing systems using FSZ-automaton with CLS criteria
- (2018) Shazada Muhammad Umair Khan et al. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY
- Formal Analysis and Design of Supervisor and User Interface Allowing for Non-Deterministic Choices Using Weak Bi-Simulation
- (2018) Shazada Khan et al. Applied Sciences-Basel
- Edge Computing in IoT-Based Manufacturing
- (2018) Baotong Chen et al. IEEE COMMUNICATIONS MAGAZINE
- On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems
- (2018) Yousra Hafidi et al. IEEE Transactions on Systems Man Cybernetics-Systems
- An improved genetic algorithm for task scheduling in the cloud environments using the priority queues: Formal verification, simulation, and statistical testing
- (2017) Bahman Keshanchi et al. JOURNAL OF SYSTEMS AND SOFTWARE
- Smart manufacturing: Characteristics, technologies and enabling factors
- (2017) Sameer Mittal et al. PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART B-JOURNAL OF ENGINEERING MANUFACTURE
- A Timed Colored Petri Net Simulation-Based Self-Adaptive Collaboration Method for Production-Logistics Systems
- (2017) Zhengang Guo et al. Applied Sciences-Basel
- Formal modeling and control of cyber-physical manufacturing systems
- (2017) Zhenhua Yu et al. Advances in Mechanical Engineering
- Design, modelling, simulation and integration of cyber physical systems: Methods and applications
- (2016) P. Hehenberger et al. COMPUTERS IN INDUSTRY
- Colored Petri net model for significant reduction of invariants in flexible manufacturing systems
- (2016) Shaukat Ali Shah et al. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY
- Plug & produce by modelling skills and service-oriented orchestration of reconfigurable manufacturing systems
- (2015) Julius Pfrommer et al. AT-Automatisierungstechnik
- Probabilistic Boolean network modeling and model checking as an approach for DFMEA for manufacturing systems
- (2015) Pedro J. Rivera Torres et al. JOURNAL OF INTELLIGENT MANUFACTURING
- Current status and advancement of cyber-physical systems in manufacturing
- (2015) Lihui Wang et al. JOURNAL OF MANUFACTURING SYSTEMS
- Deadlock-Free Scheduling Method for Flexible Manufacturing Systems Based on Timed Colored Petri Nets and Anytime Heuristic Search
- (2015) Olatunde T. Baruwa et al. IEEE Transactions on Systems Man Cybernetics-Systems
- Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons
- (2012) Shao Yong Li et al. JOURNAL OF INTELLIGENT MANUFACTURING
- XML-based neutral file and PLM integrator for PPR information exchange between heterogeneous PLM systems
- (2010) Sang Su Choi et al. INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING
- Petri net modeling and deadlock analysis of parallel manufacturing processes with shared-resources
- (2009) Farooq Ahmad et al. JOURNAL OF SYSTEMS AND SOFTWARE
Add your recorded webinar
Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.
Upload NowBecome a Peeref-certified reviewer
The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.
Get Started