Open Access. Powered by Scholars. Published by Universities.®
Operations Research, Systems Engineering and Industrial Engineering Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Publication
- Publication Type
Articles 1 - 2 of 2
Full-Text Articles in Operations Research, Systems Engineering and Industrial Engineering
Course Portfolio - Discrete Event Simulation, Paul Savory
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
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.