![]() | ![]() |
2006 | ||
---|---|---|
4 | EE | Ferucio Laurentiu Tiplea, Aurora Tiplea: Petri net reactive modules. Theor. Comput. Sci. 359(1-3): 77-100 (2006) |
2005 | ||
3 | EE | Ferucio Laurentiu Tiplea, Aurora Tiplea: Instantiating Nets and Their Applications to Workflow Nets. SYNASC 2005: 367-373 |
2002 | ||
2 | EE | Ferucio Laurentiu Tiplea, Aurora Tiplea: A Simulation Preorder for Abstraction of Reactive Systems. VMCAI 2002: 272-288 |
1998 | ||
1 | Ferucio Laurentiu Tiplea, Aurora Tiplea: On Normalization of Petri Nets. Sci. Ann. Cuza Univ. 8: 151-161 (1998) |
1 | Ferucio Laurentiu Tiplea | [1] [2] [3] [4] |