High level Petri nets based approach for analyzing conceptual objects for production systems simulation

Tamani, Karim; Boukezzoula, Reda; Habchi, Georges

doi:10.1016/b978-008044654-7/50190-4

Cited by 1 publication

(2 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To check the performance of a manufacturing system, formal methods of design are needed. a high level Petri net selected modeling and verification tool in [8]. Based on properties of the generic concept called the Production Processing System (PPS) and developed for modeling and simulation of production resources.…”

Section: Related Workmentioning

confidence: 99%

“…All the places are defined as Table 2. AGV is idle p 3 AGV is working p 4 part arrived by AGV p 5 part P1 has been in queue of B1 p 6 part P2 has been in queue of B2 p 7 robot R1 is idle p 8 robot R2 is idle p 9 part P1 is in the hand of robot R1 p 10 part P2 is in the hand of robot R2 p 11 robot R1 locates part P1 p 12 robot R2 puts part P2 at the initial position for assembly. p 13 robot R2 is assembling P 14 a component is in Robot R1…”

Section: B Definitions For Placesmentioning

confidence: 99%

See 1 more Smart Citation

GSPN-based modeling and analysis for robotized assembly system

2009

2008 IEEE International Conference on Robotics and Biomimetics

View full text Add to dashboard Cite

Generalized Stochastic Petri-Nets (GSPN) is a kind of high-level abstraction modeling tool for a system with complex state transitions. A GSPN model will conduce to rational decision making during a design process for a system. In this paper a robotized assembly system with complex workflow (assembly tasks flow) is studied, and GSPN model is used to analyze deeply qualitative and quantitative properties of the robotized assembly system. The model will facilitate assessing average performance and testing correctness and consistent of operating sequences of the robotized assembly system. Several performance indexes of GSPN model are formulated such as the probability of a state, math expectation of tokens of a place, firing rate of exponent transitions and average waiting time of a place. On the basis of the method, an A robotized assembly workstation for a automotive transmission component is designed and built successfully. Index Terms -GSPN, system modelling, robotized assembly system 978-1-4244-2679-9/08/$25.00 ©2008 IEEE

show abstract

Section: Related Workmentioning

confidence: 99%