Predicate / Transition Nets

Genrich, Hartmann J.

doi:10.1007/978-3-642-84524-6_1

Cited by 218 publications

(58 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The action carries three va1ues: Userld is the identity of the user, and sha11 be used a1so in the answer to the query; Key is the keyword about which the user requires information; Fee is the amount of money that the user spends for the requested service. Further discussion on event-ordering constraints and on the relation between the conotation and PredicatelTransition nets [10] can be found in [1].…”

Section: Agencymentioning

confidence: 99%

Formal Specification of Discrete Systems by Active Predicates and Dynamic Constraints

Bolognesi

Bracciali

1999

Formal Methods for Open Object-Based Distributed Systems

View full text Add to dashboard Cite

. In this short paper we sketch an enhancement of our co-notation, a specification language for the behavioural description of a wide class of information processing systems which supports a constraint-oriented specification style. The enhancement substantially improves previous versions of the notation by allowing for the dynamic creation and elimination of constraints. The formal, operational semantics of the (extended) co-notation has been re-designed in a form which should favour both the exploration of further variants of the notation and its object-oriented implementation.

show abstract

Section: Agencymentioning

confidence: 99%

Formal Specification of Discrete Systems by Active Predicates and Dynamic Constraints

Bolognesi

Bracciali

1999

Formal Methods for Open Object-Based Distributed Systems

View full text Add to dashboard Cite

show abstract

“…6 contains the conclusions and a discussion of how the construction of the CPN model has influenced the development of features in Nokia mobile phones. The reader is assumed to be familiar with the basic ideas of High-level Petri Nets [11].…”

Section: Introductionmentioning

confidence: 99%

Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets

Lorentsen

Tuovinen

2002

Application and Theory of Petri Nets 2002

View full text Add to dashboard Cite

Abstract. This paper reports on the main results from an industrial cooperation project 1 . The project is a joint project between Nokia Research Centre and the CPN group at the University of Aarhus. The purpose of the project was to investigate features and feature interactions in development of Nokia mobile phones through construction of a Coloured Petri Nets (CPN) model. The model is extended with domain-specific graphics and Message Sequence Charts to enable mobile phone user interface designers and software developers who are not familiar with Petri Nets to work with the model. The paper presents the CPN model constructed in the project, describes how domain-specific graphics and Message Sequence Charts are used in simulations of the CPN model, and discusses how the project and in particular the construction of the CPN model has influenced the development process of features in Nokia mobile phones.

show abstract

“…Para tentar resolver esses problemas, foram propostas diversas extensõesàs RPs que visam a possibilitar a manipulação direta de tipos e valores de dados, tais como as Redes Predicado/Transição (Genrich, 1987) e as Redes de Petri Coloridas (RPCs) (Jensen, 1986(Jensen, , 1994(Jensen, , 1997bMortensen, 2002), Deve-se ressaltar que, mesmo com a aplicação de métodos rigorosos de desenvolvimento, defeitos podem estar presentes no produto, seja por limitações inerentes a esses métodos, seja por restrições de custo no que se refere a sua completa aplicação. Assim sendo, devem ser introduzidas ao longo de todo o processo de desenvolvimento diversas atividades, genericamente denominadas atividades de Garantia de Qualidade de Software, dentre as quais estão as atividades de Verificação, Validação e Teste (VV&T).…”

Section: Considerações Iniciaisunclassified

“…Esseé o caso, por exemplo, de Redes de Escolha Livre e Redes Elementares (Rozenberg e Thiagarajan, 1986). Em outras propostas, busca-se aumentar a expressividade do modelo com a inclusão de recursos para representar e manipular tipos abstratos de dados, tais como as RPCs (Jensen, 1997c) e as Redes Predicado/Transição (Genrich, 1987), bem como a inclusão da noção de tempo, tais como as RPs Temporais (Kumar e Harous, 1994). Contudo, o poder de decisão sobre propriedades do modeloé reduzido.…”

Section: Classes De Redes De Petriunclassified

See 1 more Smart Citation

Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas"

Simão¹

View full text Add to dashboard Cite

Agradecimentos• A Deus, pois feliz aquele que trilha Seus caminhos.•À minha esposa Selma, pela paciência, incentivo e apoio ao longo de todos esses anos. E também pelo amor e compreensão em todos os momentos, fáceis e difíceis.•À minha filha Emanoela, por simplesmente existir e me ensinar o que significa "amar incondicionalmente".•À minha família, em especial aos meus pais, Geraldo e Olivia, pelo apoio e confiança imprescindíveis para realização deste trabalho.• Ao Prof. Dr. José Carlos Maldonado, pelo apoio, pela orientação, tanto acadêmica quanto pessoal, e, principalmente, pela amizade.• Aos amigos do Labes e aos amigos "do" Labes, pelo apoio e pelo ambiente descontraído e sempre estimulante. Mesmo correndo o imperdoável risco de estar esquecendo alguns, citarei (em ordem alfabética) Aline, Andrea, André Maluquinho, André Rocha, Antonielly, Auri e Elaine, Camila e Cláudio (ou Claudia e Camilo), Débora, Dona Vilma, Edilson, Elisa, Ellen, Ernesto, Erika, Fabiano (Falcon), Gawa, Ju, Luciana e Richard, Marco, Maria Istela, Masiero, Mateus e Raquel, Otávio, Osnete, Reginaldo Ré, Rogério, Renata, Rosana, Rosângela, Rosely, Rudinei e Flavia, Sandra, Sandrão (Cantina), Sandro (KLB), Seu Adão, Simone, Simone e Paulo, Tânia (Tonha), Tatiana, Thaise, (U)Bira(jara) e Valter (Wagner).•Àqueles que, de alguma forma, me ajudaram ao longo desse trabalho. Em especial, a Alessandro Fabrício Garcia, André Luis dos Santos Domingues, Antonio Santana, Auri Marcelo Rizzo Vincenzi, Carlos Lucena, Marco Arthur Candolo, Roberto Bigonha, Sandra Fabbri, Simone do Rocio Senger de Souza, Tatiana Sugeta e Thaise Yano.• Ao Alessandro, Christina, Elton e Alésio, pela acolhida no Rio de Janeiro naquele chuvoso janeiro de 2002.• Um agradecimentoàs pessoas que ajudaram na revisão do texto, em especial a Cagnin, Camargo, Domingues, Ferrari, Hohn, Simão, Sugeta e Vincenzi.• A todos os funcionários do ICMC, em especialà Ana Paula, Beth, Laura, Carmen, Angela, Sueli e Tatiana, pelo apoio acadêmico e amizade.•À FAPESP eà USP, pelo apoio financeiro. Sumário Resumo xvAbstract xvii (Macial et al., 1996;Murata, 1984;Peterson, 1981 (Tanenbaum, 1989). . A técnica Redes de Petri Coloridas tem sido constantemente utilizada para a especificação do aspecto comportamental de Sistemas Reativos. Apesar de existirem diversas técnicas de análise, um aspecto não consideradoé a cobertura alcançada, visto que, em geral, a aplicação exaustiva nãoé viável devido ao alto custo. Considerando a relevância do estabelecimento de métodos sistemáticos para o teste e validação dessas especificações, este trabalho propõe a aplicação do critério de teste Análise de Mutantes para o teste de Redes de Petri Coloridas.Neste trabalho foram almejados três objetivos principais, os quais podem ser divididos em estudos teóricos, estudos empíricos e automatização. No contexto de estudos teóricos, foi realizada a definição e embasamento teórico para possibilitar a aplicação da Análise de Mutantes no contexto de Redes de Petri Coloridas. Além disso, investigaram-se mecanismos genéricos p...

show abstract

Predicate / Transition Nets

Cited by 218 publications

References 6 publications

Formal Specification of Discrete Systems by Active Predicates and Dynamic Constraints

Formal Specification of Discrete Systems by Active Predicates and Dynamic Constraints

Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets

Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas"

Contact Info

Product

Resources

About