Modular Analysis of Petri Nets |
| |
Authors: | Christensen, Soren Petrucci, Laure |
| |
Affiliation: | 1 Department of Computer Science, University of Aarhus, Ny Munkegade, Building 540, DK-8000 ÅRHUS C, Denmark 2 LSV, CNRS UMR 8643, ENS de Cachan, 61 avenue du Pdt Wilson, F-94235 CACHAN Cedex, France Email: petrucci@lsv.ens-cachan.fr |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 Oxford 等数据库收录! |
|