Translating active objects into colored Petri nets for communication analysis
| Autor: | Gkolfi, Anastasia, Din, Crystal Chang, Johnsen, Einar Broch, Kristensen, Lars Michael, Steffen, Martin, Yu, Ingrid Chieh |
|---|---|
| Zdroj: | In Science of Computer Programming 15 July 2019 181:1-26 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect