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

• Published 2016 in Formal Aspects of Computing

#### 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

### 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} }