Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Vitaly E. Kozura"'
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540437031
IFM
IFM
We suggest a three-level integrated approach to design, specification and verification of distributed system. The approach is based on a newly designed specification language Basic-REAL (bREAL) and comprises (I) translation of a high-level design of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b3e5f59db7309bb0c970bb5da47c3604
https://doi.org/10.1007/3-540-47884-1_5
https://doi.org/10.1007/3-540-47884-1_5
Autor:
Vitaly E. Kozura
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540430759
Ershov Memorial Conference
Ershov Memorial Conference
In this paper the unfolding technique is applied to coloured Petri nets (CPN) [6,7]. The technique is formally described, the definition of a branching process of CPN is given. The existence of the maximal branching process and the important properti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3bbe6404c0c032159657c97adf396fea
https://doi.org/10.1007/3-540-45575-2_27
https://doi.org/10.1007/3-540-45575-2_27