P. David Stotts

Papers

Total Citations

H-Index

About

P. David Stotts is a computer scientist whose research has centered on the formal modeling of complex systems, particularly through the use of Petri-nets. His most-cited work, "Modelling the logical structure of flexible manufacturing systems with Petri-nets" (1989), introduced a rigorous approach to representing the concurrency, synchronization, and resource constraints inherent in automated production lines. By applying Petri-net theory—a mathematical modeling language—Stotts provided a clear, graphical method for analyzing system behavior, detecting deadlocks, and optimizing workflow in flexible manufacturing environments. This foundational contribution has influenced subsequent research in industrial automation and software engineering, earning 4 citations and establishing a framework still referenced in advanced manufacturing studies. Beyond this seminal paper, Stotts has explored hypertext systems, collaborative computing, and software visualization, often integrating formal methods with practical tools. His work demonstrates how theoretical models can directly address real-world engineering challenges, making complex systems more predictable and efficient. For students and researchers, Stotts exemplifies the value of bridging formal logic with applied system design.