Parece que trata bem o GRAFCET
digo pelo Sumário:
Capítulo 1 - Descrição de Sistemas Automatizados
1.1 - Sistema de Controle
1.2 - Descrição de Sistemas Automatizados
1.3 - “O Grafcet” - Origem da Norma IEC 60848
1.4 - Diagrama Funcional Sequencial SFC (Sequential Function Chart)
1.4.1 - Etapas
Etapa Ativa e Etapa Inativa
Etapa Inicial
Indicação do Estado de uma Etapa
1.4.2 - Ações Associadas às Etapas
Definição da Ação Associada à Etapa
Ações Detalhadas (Qualificadas)
Definição de um Estado Associado à Etapa
1.4.3 - Transições
1.4.4 - Condições Associadas às Transições
Condições Detalhadas
Transição Incondicional
1.4.5 - Ligações Orientadas
1.4.6 - Regras de Evolução
Regra 1: Situação Inicial
Regra 2: Transposição de uma Transição
Regra 3: Evolução das Etapas Ativas
Regra 4: Transposição Simultânea de Transições
Regra 5: Condições Verdadeiras e Imediatamente Seguintes
Regra 6: Ativação e Desativação Simultâneas de uma Etapa
Regra 7: Tempo Nulo
1.4.7 - Estruturas Básicas
Sequências Seletivas (Alternativas)
Sequências Simultâneas (Paralelas)
Reutilização de uma Sequência
Detalhamento de uma Etapa
1.5 - Exemplos de Diagramas Funcionais Sequenciais
Para Contrôle Discreto eu acho o Grafcet muito interessante
Simples, Lógico, Racional
Ideal para o Processador Booleano do Intel 8051 (de um bit)
DJ