abstract ;;Quote: review of Petri net theory--axioms, definitions, compilation, continuous variables, limits of precision

3 ;;Quote: a Petri net is a relation defining which new states replace which new states when a transition occurs

4 ;;Quote: Petri nets feature proper concurrency; i.e., the priority of causality over temporal order, and partial independence

4+;;Quote: Petri nets treats continuous motion and interconnects other models

24 ;;Quote: can judge incidence between states or transitions but not the coincidence of either; e.g., a clock dial is between 1 and 2 vs. exactly 1; i.e., continuous motion