Abstract
It is shown that minimal-time singly-valued (counterparts of 1-safe Petri nets) cause-effect (c-e) structures are of the same expressive power as no-time singly-valued c-e structures, while maximal-time multi-valued c-e structures are of essentially greater expressive power than no-time multi-valued c-e structures.
Get full access to this article
View all access options for this article.