Extended Algorithm for Translation of MSC-diagrams into Petri Nets
| Data(s) |
07/04/2010
07/04/2010
2008
|
|---|---|
| Resumo |
The article presents an algorithm for translation the system, described by MSC document into Petri Net modulo strong bisimulation. Obtained net can be later used for determining various systems' properties. Example of correction error in original system with using if described algorithm presented. |
| Identificador |
1313-0455 |
| Idioma(s) |
en |
| Publicador |
Institute of Information Theories and Applications FOI ITHEA |
| Palavras-Chave | #MSC #Petri Net #Model Checking #Verification #RAD |
| Tipo |
Article |
