Pomset bisimulation and unfolding for reset Petri nets
| Autor: | Chatain, Thomas, Comlan, Maurice, Delfieu, David, Jezequel, Loïg, Roux, Olivier-Henri |
|---|---|
| Zdroj: | In Information and Computation February 2022 283 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Chatain, Thomas, Comlan, Maurice, Delfieu, David, Jezequel, Loïg, Roux, Olivier-Henri |
|---|---|
| Zdroj: | In Information and Computation February 2022 283 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect