In: Lecture Notes in Computer Science, Vol. 1091; Proc. 17th International Conference in Application and Theory of Petri Nets (ICATPN'96), Osaka, Japan, pages 289-306. Springer-Verlag, June 1996.
Abstract: We formally introduce arc-typed nets as a model for causality based specifications. The new feature of arc-typed nets is the distinction of different arc-types; the different arc-types carry over to a process of the net. Therefore, there are different types of causalities in a run of an arc-typed net. Arc-typed nets have informally been used for modeling and verifying consistency protocols. It turned out that arc-typed nets provide an adequate level of abstraction for these kind of applications. We demonstrate the application of arc-typed nets by specifying, modeling, and verifying a simple consistency protocol.
Keywords: arc-typed net; causality; partial order semantics; process; specification; verification; consistency protocol.