L. Capra

Available identifiers

Publication	Date of Publication	Type
Modular rewritable Petri nets: an efficient model for dynamic distributed systems	2024-02-20	Paper
Canonization of reconfigurable PT nets in \texttt{Maude}	2023-07-21	Paper
Formal specification and verification of decentralized self-adaptive systems using symmetric nets	2022-01-10	Paper
A structural approach to graph transformation based on symmetric Petri nets	2021-06-25	Paper
A formal framework for specifying and verifying microservices based process flows	2021-05-26	Paper
MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters	2014-07-07	Paper
Evolutionary design through reflective Petri nets: an application to workflow	2009-04-03	Paper
Applications and Theory of Petri Nets 2005	2005-12-14	Paper
Exploiting partial symmetries for Markov chain aggregation	2001-05-08	Paper

This page was built for person: L. Capra