For the most recent entries see the Petri Nets Newsletter.

Specification and Analysis of Concurrent Systems Using STOCS Model.

Garg, V.K.

In: Proceedings of the Computer Networking Symposium, pages 192-200. Washington, DC: IEEE Comput. Soc. Press, 1988.

Abstract: The author presents a synchronous token-based communicating state (STOCS) model for specification and analysis of concurrent systems. The STOCS model attempts to combine algebraic and net-theoretic approaches for the study of concurrent systems. It shares the notion of tokens, transitions and reachability with the net theory and the notions of processes, interactions and traces with the algebraic theory of concurrent systems.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography