Using Petri Nets to Introduce John M. Operating Jeffrey and 60126 Information System Concepts Department of Computer Science IL Systems Elmhurst Elmhurst, College Abstract Graph-theoretical A Petri eling tools, this paper algorithm very net is a graphical systems [8,12]. concurrent, a visualization in an operating explicit and mathematical that are considered asynchronous, tool tool for mod- information stochastic with to be nondedistributed, it provides stutypically of a sys2. that net can be animation, useful and other aspects system reof terministic, and/or dents tokens A formal Based ating many theory very system parallel, lated visual-aids pedagogy. Petri In net theory have proven in computeroperating science con- As a graphical of concepts systems course. the use of the graphical how a minimal amount and issues Petri evolution activities of Petri in section as a tool to introduce It is shown discussed nets include of a system. nets in operof Petri cepts is given. of Petri to represent definition upon the nondeterministic the concurrent absence of Petri nets is given syllabi, net theory cara be applied operating systems course. cept of deadlocks, the fork/ oin are shown, are utilized problems, given. and for to problems often discussed in an Examples of
/lp/association-for-computing-machinery/using-petri-nets-to-introduce-operating-system-concepts-6ZYv9j308e