效绵鼎 From automata to Petri Net automata are a theoretical and idealised model they reflect a Newtonian world-view: space time as an absolute frame of reference clockwork view of processes within this frame Carl Adam Petri has made an attempt to combine automata from theoretical CS,and pragmatic expertise from engineers:Petri Net state is distributed,transitions are localised local causality replaces global time subsystems interact by explicit communication• automata are a theoretical and idealised model • they reflect a Newtonian world-view: • space & time as an absolute frame of reference • clockwork view of processes within this frame • Carl Adam Petri has made an attempt to combine automata from theoretical CS, and pragmatic expertise from engineers: Petri Net From automata to Petri Net • state is distributed, transitions are localised • local causality replaces global time • subsystems interact by explicit communication