|
|||||
|
|
A reduced maximality labeled transition system generation for recursive Petri nets |
|
| Authors: | Messaouda Bouneb Djamel Eddine Saidouni Jean Michel Ilie |
| Affiliation: | 1. Department of Mathematics and Computer Sciences, El Arbi ben Mhidi University, Oum el bouaghi, Algeria 2. MISC Laboratory, Department of Fundamental Informatics and its Applications, University Constantine 2, Abdelhamid Mehri, Constantine, Algeria 3. Department of Computer Sciences, Pierre and Marie Curie University, Paris, France |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |