Basic Semantics
Michel Diaz · 2009
This chapter contains sections titled: Automata or state machines State machines and Petri nets (PN) Concepts and definitions Accessibility graph or marking graph Some basic models Conclusion Bibliography
Michel Diaz · 2009
This chapter contains sections titled: Automata or state machines State machines and Petri nets (PN) Concepts and definitions Accessibility graph or marking graph Some basic models Conclusion Bibliography