Titlebook: Application and Theory of Petri Nets 1999; 20th International C Susanna Donatelli,Jetty Kleijn Conference proceedings 1999 Springer-Verlag

惡臭

Elliptische Funktionen und Modulformenr. The problems that appear lead to the definition of two extensions of reachability. Many properties shall be extended differently depending on which reachability definition is being considered. Here, we concentrate on liveness and deadlock-freeness, proposing extensions and relating them to their discrete counterparts.

CANT