離散物理としてのペトリネット by アブラムスキー

アブラムスキーの示唆は面白い。

The n-Category Cafe'（http://golem.ph.utexas.edu/category/）の記事 http://golem.ph.utexas.edu/category/2007/03/computer_science_and_physics.html に、次の参照があった。

• What are the fundamental structures of concurrency? We still don't know! （http://web.comlab.ox.ac.uk/oucl/work/samson.abramsky/bertinoro05.pdf）

このなかでアブラムスキーはペトリネットは a kind of discrete physicsと言っている：

1. lines are time-like causal flows,
2. cuts are space-like regions,
3. process unfolding of a marked net are like the solution trajectories of a differential equation.

他に、対話の幾何学（Geometry of Interaction）は証明過程の力学（the dynamics of logical proof）でもある、とも言っている。そして（おそらくは）、結び目やTQFTと絵算の関係も示唆している（ようだ）。

最後に次の言葉を出している。process calculus = the calculus of a fundamental science of information dynamics.