Back in Time Petri Nets

doi:https://doi.org/10.1007/978-3-642-40229-6_7

Book Chapter10.1007/978-3-642-40229-6_7

Back in Time Petri Nets

Thomas Chatain,Claude Jard-2013-01-01-Lecture notes in computer science

6

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

ConcurrencyComputer sciencePetri netRotation formalisms in three dimensionsSemantics (computer science)Class (philosophy)Partial order reductionCausality (physics)

Chat

Click to start Chat