Cpn Tools
Mostrando 1-4 de 4 artigos, teses e dissertações.
-
1. Dataflow in colored Petri nets and in actors-oriented workflow graphs / Fluxo de dados em redes de Petri coloridas e em grafos orientados a atores
Three decades ago, business information systems were designed to support the execution of individual tasks. Todays information systems also need to support the organizational workflows and business processes. In scientific communities composed by physicists, astronomers, biologists, geologists, among others, information systems have different characteristics
Publicado em: 2008
-
2. Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)
This work presents a technique of formal verication of Procedural Reasoning System - PRS, a programming language that uses the procedural reasoning approach. This technique is based on the use of conversion rules between PRS programs and Coloured Petri Nets (CPNs). To this end, conversion rules of a subgroup of the majority of the syntax used in language PRS
Publicado em: 2005
-
3. cpnDB: A Chaperonin Sequence Database
Type I chaperonins are molecular chaperones present in virtually all bacteria, some archaea and the plastids and mitochondria of eukaryotes. Sequences of cpn60 genes, encoding 60-kDa chaperonin protein subunits (CPN60, also known as GroEL or HSP60), are useful for phylogenetic studies and as targets for detection and identification of organisms. Conveniently
Cold Spring Harbor Laboratory Press.
-
4. Preparation and characterization of polyclonal antibodies against human chaperonin 10
Abstract Early pregnancy factor (EPF) has been identified as an extracellular homologue of chaperonin 10 (Cpn10), a heat shock protein that functions within the cell as a molecular chaperone. Here, we report the production of polyclonal antibodies directed against several different regions of the human Cpn10 molecule and their application to specific protein
Cell Stress Society International.