Filter your results
- 3
- 3
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Extending IOPT Nets with a Module Construct7th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2016, Costa de Caparica, Portugal. pp.86-95, ⟨10.1007/978-3-319-31165-4_9⟩
Conference papers
hal-01438288v1
|
||
|
|
Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application11th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Jul 2020, Costa de Caparica, Portugal. pp.93-100, ⟨10.1007/978-3-030-45124-0_8⟩
Conference papers
hal-03741552v1
|
||
|
|
Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces2nd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2011, Costa de Caparica, Portugal. pp.246-255, ⟨10.1007/978-3-642-19170-1_27⟩
Conference papers
hal-01566569v1
|