A three-level net formalism for the modeling of multiple mobile robot systems

López-Mellado, Ernesto; Almeyda-Canepa, Hugo

doi:10.1080/0951192052000288224

Cited by 5 publications

(2 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…She proves that NPNs are able to maintain the properties of classic PNs. To accommodate qualitative modelling of multiple mobile robot systems, Lopez-Mellado and Almeyda-Canepa (2003) develop a three level scheme of PNs, in which tokens themselves can be defined as PNs as well. In software system modelling, Hiraishi (2000) presents a PN-based model, which adopts the classic PNs to analyse and design multi agent systems.…”

Section: Related Workmentioning

confidence: 99%

“…A number of extensions have been made to classic PNs in order to satisfy different modelling requirements. Among all, coloured PNs (CPNs; Jensen 1995), timed PNs (TPNs; Ramachandani 1974) and nested PNs (NPNs; Lomazova 2000, Lopez-Mellado andAlmeyda-Canepa 2003) are of particular interest in this study. CPNs are able to provide a concise, flexible and manageable representation of large systems by attaching a variety of colours to tokens.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Nested coloured timed Petri nets for production configuration of product families

Zhang¹,

Rodrigues

2009

International Journal of Production Research

View full text Add to dashboard Cite

Production configuration is as an effective technique to deal with product variety while maintaining production stability and efficiency. It involves a diverse set of process elements (e.g., machines, operations), a high variety of component parts and assemblies and many constraints arising from product and process variety. Production configuration entails the selection and subsequent arrangement of process elements into complete production processes and the final evaluation of configured multiple alternatives. To better understand production configuration and its implementation, we study the underlying logic for configuring production processes using a dynamic modelling and visualisation approach. This is accomplished by developing a new formalism of nested coloured timed Petri nets (PNs). In view of the inherent modelling difficulties, in the formalism three types of nets -process nets, assembly nets and manufacturing nets -together with a nested net system are defined. Using an industrial example of vibration motors, we show how the proposed formalism can be applied to specify production processes at different levels of abstraction to achieve production configuration.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%