File:Liveness-levels.gif
Jump to navigation
Jump to search
Liveness-levels.gif (286 × 220 pixels, file size: 3 KB, MIME type: image/gif)
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 18:21, 10 June 2009 | ![]() | 286 × 220 (3 KB) | commons>Rp22 | {{Information |Description={{en|1=A Petri net with transitions of liveness levels L_0, L_1, L_2 and L_3. After Fig. 16 in: Tadao Murata, ''Petri Nets: Properties, Analysis and Applications'', in ''Proceedings of the IEEE'', Vol. 77, No. 4, April 1989.}} |
File usage
There are no pages that use this file.