Static analysis of systems: a methodology based on timed Petri nets

Hutchinson, George K.; Clementson, A. T.

doi:10.1080/09537289108919337

Cited by 5 publications

(2 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Conceptually the entities return to a prior idle state, completing their cycle. Clementson and Hutchison ( 1985) and Hutchison and Clementson ( 1990) have used the ACD approach to simulate FMS.…”

Section: An Overview Of Petri Nets and Activity Cycle Diagramsmentioning

confidence: 99%

Use of timed petri net and activity cycle diagram methodologies for modelling tandem AGVs in FMSs and their performance evaluation

Tiwari¹,

Chandrasekaran²,

Mohanty³

2001

International Journal of Computer Integrated Manufacturing

View full text Add to dashboard Cite

This paper attempts to mode l the Auto mated Guided Vehicle ( AGV) system of a flexible manufacturing system ( FMS) by using timed petri net and Activity Cycle Diagrams ( ACDs) as basic tools. A timed petri net used for planning of AGV system in FMSs ensures conflict-free and deadlock free operations of the system. To understand the syste m as it is observed in practice for delineating the behaviour of entities, the ACD has been used. Mean utilization and the utilization index have been taken as performance measures to evaluate the system and they have been compared with previous work.

show abstract

Section: An Overview Of Petri Nets and Activity Cycle Diagramsmentioning

confidence: 99%

Use of timed petri net and activity cycle diagram methodologies for modelling tandem AGVs in FMSs and their performance evaluation

Tiwari¹,

Chandrasekaran²,

Mohanty³

2001

International Journal of Computer Integrated Manufacturing

View full text Add to dashboard Cite

show abstract

“…Activity cycle diagrams have been discussed by several authors including: Paul (1993), Hutchinson and Clementson (1991) and Carrie (1988). Briefly, these diagrams represent each type of entity flow by unique line patterns.…”

Section: Multi-layered Acd'smentioning

confidence: 99%

Multi-layered activity cycle diagrams and their conversion into activity-based simulation code

Pflughoeft¹,

Manur²

Proceedings of Winter Simulation Conference

View full text Add to dashboard Cite

Activity cycle diagrams (ACDs) have long been used for the representation of the flow of entities within discrete-event systems. They can be used to manually simulate systems and their description serves as the basis for automatically generating activity-based simulation code. Although activity-based approaches are cited as one of the easiest ways to model systems their proliferation has been hindered by concerns of efficiency, support, and flexibility. In this paper, these concerns are addressed as well as simulation methods that support the multi-layered ACDs to assist in overcoming these issues. 123-1 3 1. AUTHOR BIOGRAPHIES KURT A. PFLUGHOEFT is an Assistant Professor in the Information and Decision Sciences Department at the University of Texas at El Paso. He received his M.S. and Ph.D. degrees from the University of Wisconsin-Milwaukee in 1986 and 1993. He has worked as a systems analyst and computer consultant for numerous companies. His research interests include FMS design and scheduling, simulation, knowledge-based systems, information metrics, and object-oriented design principles. KIRAN MANUR is a graduate student in the Department of Manufacturing Engineering. He received his B.S. from Bangalore University in 1990. His thesis addresses the conversion of ACDs into an object-oriented representations. His other research interests include database and interface design.

show abstract

Intelligent decision support for flexible manufacturing: Design and implementation of a knowledge-based simulator

Pflughoeft

Hutchinson

Nazareth

1996

Omega

View full text Add to dashboard Cite

Static analysis of systems: a methodology based on timed Petri nets

Cited by 5 publications

References 1 publication

Use of timed petri net and activity cycle diagram methodologies for modelling tandem AGVs in FMSs and their performance evaluation

Use of timed petri net and activity cycle diagram methodologies for modelling tandem AGVs in FMSs and their performance evaluation

Multi-layered activity cycle diagrams and their conversion into activity-based simulation code

Intelligent decision support for flexible manufacturing: Design and implementation of a knowledge-based simulator

Contact Info

Product

Resources

About