We report on preliminary experiments at using the Multiset Rewriting formalism MSR to specify biomolecular processes. The results are promising as MSR provides very direct and conceptually simple representations of our examples. MSR has been successfully used to describe and analyze complex distributed systems where global states evolves as the result of local transformations, such as security protocols.
Representing Biological Systems with Multiset Rewriting
Martinelli F;
2003
Abstract
We report on preliminary experiments at using the Multiset Rewriting formalism MSR to specify biomolecular processes. The results are promising as MSR provides very direct and conceptually simple representations of our examples. MSR has been successfully used to describe and analyze complex distributed systems where global states evolves as the result of local transformations, such as security protocols.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_44111-doc_133876.pdf
non disponibili
Descrizione: Representing Biological Systems with Multiset Rewriting
Tipologia:
Versione Editoriale (PDF)
Dimensione
138.32 kB
Formato
Adobe PDF
|
138.32 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
