Zobrazeno 1 - 10
of 353
pro vyhledávání: '"Algebraic petri nets"'
Autor:
Triebel, Marvin, Sürmeli, Jan
Algebraic Petri nets are a formalism for modeling distributed systems and algorithms, describing control and data flow by combining Petri nets and algebraic specification. One way to specify correctness of an algebraic Petri net model $N$ is to speci
Externí odkaz:
http://arxiv.org/abs/1606.05490
Autor:
Juhás, Gabriel1 gabriel.juhas@stuba.sk, Lorenz, Robert2 robert.lorenz@ku-eichstaett.de, Mauser, Sebastian2 sebastian.mauser@ku-eichstaett.de
Publikováno v:
Fundamenta Informaticae. 2008, Vol. 86 Issue 3, p255-298. 44p. 9 Diagrams.
Autor:
Bathelt F; Institute for Medical Informatics and Biometry, Carl Gustav Carus Faculty of Medicine, Technische Universität Dresden., Kümmel M; Institute for Medical Informatics and Biometry, Carl Gustav Carus Faculty of Medicine, Technische Universität Dresden., Helfer S; Institute for Medical Informatics and Biometry, Carl Gustav Carus Faculty of Medicine, Technische Universität Dresden., Kamann C; Institute for Medical Informatics and Biometry, Carl Gustav Carus Faculty of Medicine, Technische Universität Dresden., Sedlmayr M; Institute for Medical Informatics and Biometry, Carl Gustav Carus Faculty of Medicine, Technische Universität Dresden.
Publikováno v:
Studies in health technology and informatics [Stud Health Technol Inform] 2020 Jun 16; Vol. 270, pp. 597-601.
Publikováno v:
Studies in health technology and informatics. 270
Enabling interoperability is a challenging task in medical data exchange and is often addressed by the use of versatile communication standards like HL7 FHIR. Although daily routine and scientific experiences show its suitability, the use comes with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid________::6fee5560d87da5418cfb0b2136a74e51
https://pubmed.ncbi.nlm.nih.gov/32570453
https://pubmed.ncbi.nlm.nih.gov/32570453
Autor:
Lorenzo Capra
Publikováno v:
SYNASC
Petri Nets (PN) are a consolidated formal model for distributed systems. Classical PNs however are inadequate to model structural changes in systems' lifecycle. Many different attempts to face this issue have lead to lot of PN extensions, of particul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::99744329ccb28de77f1f0a5d32f7567b
https://doi.org/10.1109/synasc.2015.19
https://doi.org/10.1109/synasc.2015.19
Autor:
Kan, Chieh-Ying, He, Xudong
Publikováno v:
Journal of Systems & Software. Oct96, Vol. 35 Issue 1, p15. 13p. 23 Diagrams, 5 Charts.
Model Checking consists in verifying if a model of a given system meets a set of requirements. The model and the properties can be specified with various formalisms. We chose Algebraic Petri Nets (APNs), a powerful formalism used to model concurrent
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1400::7f136ae07ce43a22c0f04ce3a1d167ec
https://archive-ouverte.unige.ch/unige:26582
https://archive-ouverte.unige.ch/unige:26582
Publikováno v:
SMV technical report series, No 206 (2010)
Algebraic Petri Nets (APN: Petri Nets + Abstract Algebraic Data Types) are powerful tools to model concurrent systems. Because of their high expressive power, allowing end-user to model more complex systems, State Space Explo- sion is a big issue in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1400::f2f2ebe24d5b8654d2d86bf1c416022d
https://archive-ouverte.unige.ch/unige:12332
https://archive-ouverte.unige.ch/unige:12332
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.