Model checking Petri nets with names using data-centric dynamic systems

Abstract

Petri nets with name creation and management ( $${\nu}$$ ν -PNs) have been recently introduced as an expressive model for dynamic (distributed) systems, whose dynamics are determined not only by how tokens flow in the system, but also by the pure names they carry. On the one hand, this extension makes the resulting nets strictly more expressive than P/T… (More)
DOI: 10.1007/s00165-016-0370-6

Topics

7 Figures and Tables

Cite this paper

@article{Montali2016ModelCP, title={Model checking Petri nets with names using data-centric dynamic systems}, author={Marco Montali and Andrey Rivkin}, journal={Formal Aspects of Computing}, year={2016}, volume={28}, pages={615-641} }