For the most recent entries see the Petri Nets Newsletter.

Temporal-Causal System Specification.

Castro, J.; Kramer, J.

In: COMPEURO'90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering, 1990, Tel-Aviv, Israel, pages 210-217. Los Alamitos, CA, USA: IEEE Comput. Soc. Press, 1990.

Abstract: A temporal-causal framework that addresses specification, construction and evolution of concurrent and distributed systems in a unified way is presented. A pluralistic approach to specification is pursued, and three different views are used to capture the requirements of the system: informal, causal, temporal-causal. The temporal-causal view is based on the integration of temporal logic and Petri nets. A component specification language is used when specifying the individual components of the system and a system specification language deals with the structuring of components.

Keywords: temporal causal system specification; component specification language.

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

Back to the Petri Nets Bibliography