|
|||||
|
|
Testing Equivalences of Time Petri Nets |
|
| Authors: | Bozhenkova E. N. Virbitskaite I. B. |
| Affiliation: | 1.A. P. Ershov Institute of Informatics Systems, Siberian Branch, Russian Academy of Sciences, pr. Akademika Lavrent’eva 6, 630090, Novosibirsk, Russia ;2.Novosibirsk State University, ul. Pirogova 2, 630090, Novosibirsk, Russia ; |
| Abstract: | Programming and Computer Software - In the paper, we study a family of testing equivalences in interleaving, partial-order semantics, and combined semantics in the context of safe time Petri nets... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |