Open Access. Powered by Scholars. Published by Universities.®

Operations Research, Systems Engineering and Industrial Engineering Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 2 of 2

Full-Text Articles in Operations Research, Systems Engineering and Industrial Engineering

Course Portfolio - Discrete Event Simulation, Paul Savory Oct 2009

Course Portfolio - Discrete Event Simulation, Paul Savory

Department of Industrial and Management Systems Engineering: Faculty Publications

This course portfolio, written by Dr. Paul Savory, provides an overview of his Discrete Event Simulation course at the University of Nebraska-Lincoln. It offers an overview of the course goals, a summary of the classroom activities for achieving them, and a detailed assessment of student learning. He highlights his introduction of the simul8 programming environment to his students. In addition to exploring his students’ learning, Dr. Savory also explores different approaches for documenting his teaching by including multimedia clips (video and audio), uses graphs, uses color, and incorporates images. The resulting portfolio is one that can be reviewed, shared, and …


Formal Verification Of Urban Traffic System Using The Concept Of Fuzzy Workflow Simulation, Manuj Darbari, Abhay Kumar Srivastava, Sanjay Medhavi Jan 2009

Formal Verification Of Urban Traffic System Using The Concept Of Fuzzy Workflow Simulation, Manuj Darbari, Abhay Kumar Srivastava, Sanjay Medhavi

Journal of International Technology and Information Management

Modeling complex urban traffic system requires extensive use of workflow methodologies which can simulate almost real time traffic situations. Number of studies were done in the field of Urban Traffic Simulation like PLOTS, NETSIM and PALAMICS but none of them could provide a real formal solution. Our paper proposes a methodology using Fuzzy Petri nets for modeling real time traffic system. Fuzzy Petrinets are also visualised and tested by using Flow- Charter and HPSIM software packages. These packages help in providing successive iterations of process model for further refinement.