María Martos-Salgado

Available identifiers

zbMath Open martos-salgado.mariaMaRDI QIDQ714506

List of research outcomes

Publication	Date of Publication	Type
Dynamic networks of timed Petri nets	2014-07-08	Paper
Safety and Soundness for Priced Resource-Constrained Workflow Nets	2014-05-12	Paper
Expressiveness of dynamic networks of timed Petri nets	2014-03-31	Paper
Multiset rewriting for the verification of depth-bounded processes with name binding	2012-10-11	Paper
Cost soundness for priced resource-constrained workflow nets	2012-09-04	Paper
Accelerations for the coverability set of Petri nets with names	2012-03-22	Paper

Research outcomes over time

This page was built for person: María Martos-Salgado