Some ways for defining of the modal operator `necessity' and `possibility' over the elements of a given generalized net.

For the most recent entries see the Petri Nets Newsletter.

In: V. City Conf. ``Electronization and Cybernetization'', Sofia, Proc. June 1987. 1987. In Bulgarian.

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