@article{deboer:hal-01919136, TITLE = {{A Petri Net Based Modeling of Active Objects and Futures}}, AUTHOR = {de Boer, Frank S. and Bravetti, Mario and Lee, Matias David and Zavattaro, Gianluigi}, URL = {https://inria.hal.science/hal-01919136}, JOURNAL = {{Fundamenta Informaticae}}, PUBLISHER = {{Polskie Towarzystwo Matematyczne}}, VOLUME = {159}, NUMBER = {3}, PAGES = {197-256}, YEAR = {2018}, DOI = {10.3233/FI-2018-1663}, KEYWORDS = {Petri nets ; active objects ; deadlock analysis}, PDF = {https://inria.hal.science/hal-01919136/file/fundainfo.pdf}, HAL_ID = {hal-01919136}, HAL_VERSION = {v1}, }