19 research outputs found

    A Process-Oriented Model for Authentication on the Basis of a Coloured Petri Net

    No full text
    Public-key cryptography is a prerequisite for security in distributed systems and for reliable electronic commerce. The protection of public keys against attacks is the Achilles’ heel of public-key cryptography. It is the goal of public-key infrastructures to provide the authenticity of the public keys for its participants. Formal models (called trust models) contribute decisively to a deeper understanding of the desirable design principles for these infrastructures. The present paper gives a trust model on the basis of a coloured Petri net. The graphic representation of nets of this type makes them easily understandable even for unexperienced users. In an application in electronic commerce the process formalized by this Petri net will be embedded in a cryptographic protocol which again will be an important part of a larger business process. So, the model of this paper is a useful module in business processes that are common in electronic commerce

    Application of Coloured Petri Nets in System Development

    No full text
    Abstract. Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and embedded systems. The practical application of CP-nets has also covered many phases of system development ranging from requirements to design, validation, and implementation. This paper presents four case studies where CP-nets and their supporting computer tools have been used in system development projects with industrial partners. The case studies have been selected such that they illustrate different application areas of CP-nets in various phases of system development.

    Profile and regulation of annexin II expression during early embryogenesis in cattle Perfil e regulação da expressão da anexina II durante a embriogênese em bovinos

    No full text
    The presence of annexin II (Ann-II) during the initial stages of bovine embryo development and the regulation of Ann-II expression by retinol and insulin-like growth factor I (IGF-I) were studied. Bovine embryos at different stages of development were produced in vitro on Synthetic Oviductal Fluid (SOF) medium (control group), SOF supplemented with retinol (retinol group; 0.1ng/ml), or IGF-I (IGF-I group; 10ng/ml). The embryos were processed for mRNA extraction, cDNA production and polymerase chain reaction (PCR) using Ann-II-specific oligonucleotides. Ann-II was detected in all stages of early embryo development, except for the 16-cell stage. The blastocyst rates were significantly higher (P<0.05) in the group supplemented with retinol (37.8%, 45/119) during in vitro embryo culture (IVC) than in those cultured in SOF (20.5%, 24/117) or SOF with IGF-I (25.8%, 24/93). Semiquantitative analysis of Ann-II expression in embryos produced in medium supplemented with IGF-I or retinol revealed a lower expression of this gene when compared with embryos cultured in SOF (P<0.05). The Ann-II expression was not different in embryos cultured in the presence of retinol and IGF-I. The presence of retinol increased the production of embryos in vitro by decreasing the expression of Ann-II in early-stage of bovine embryo.<br>Foram estudadas a presença de anexina II (Ann-II) durante a fase inicial do desenvolvimento embrionário bovino e sua regulação pelo retinol e pelo fator de crescimento semelhante à insulina (IGF-I). Embriões bovinos em diferentes estádios de desenvolvimento foram produzidos in vitro em fluido sintético de oviduto (SOF) sem suplementação (grupo-controle) ou suplementado com retinol (grupo retinol; 0,1ng/ml medium) ou IGF-I (grupo IGF-I; 10 ng/ml de meio). Os embriões foram processados para extração de mRNA, produção de cDNA e posterior análise por reação em cadeia da polimerase (PCR) com oligonucleotídeos específicos para Ann-II. Em todos os estádios de desenvolvimento embrionário, Ann-II foi detectada, exceto no estádio de 16 células. Os índices de blastocisto foram significativamente maiores (P<0,05) no grupo suplementado com retinol (37,8%, 45/119) durante o cultivo in vitro de embriões (PIV) que aqueles obtidos no grupo controle (20,5%, 24/117) ou no IGF-I (25,8%, 24/93). Análise semiquantitativa da expressão de Ann-II em embriões produzidos em meio suplementado com IGF-I ou retinol revelou uma menor expressão desse gene quando comparado com embriões cultivados somente em SOF (P<0,05). A expressão de Ann-II não foi diferente em embriões cultivados na presença de retinol e IGF-I. A presença de retinol aumentou a produção de embriões in vitro, e diminuiu a expressão de Ann-II em estádios iniciais do desenvolvimento embrionário bovino
    corecore