Prototyping of Concurrent Control Systems with Application of Petri Nets and Comparability Graphs
This paper shows a novel prototyping technique for concurrent control systems described by interpreted Petri nets. The technique is based on the decomposition of an interpreted Petri net into concurrent sequential automata. In general, minimum decomposition requires runtime that is exponential in th...
| Autor principal: | |
|---|---|
| Outros Autores: | , , , |
| Formato: | article |
| Idioma: | eng |
| Publicado em: |
2019
|
| Assuntos: | |
| Texto completo: | https://doi.org/10.1109/TCST.2017.2692204 |
| País: | Portugal |
| Oai: | oai:run.unl.pt:10362/65255 |