Sciweavers

46 search results - page 1 / 10
» A Coloured Petri Net Trust Model
Sort
View
DEXAW
2003
IEEE
99views Database» more  DEXAW 2003»
13 years 9 months ago
A Coloured Petri Net Trust Model
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
Peter Lory
BPM
2003
Springer
102views Business» more  BPM 2003»
13 years 9 months ago
A Process-Oriented Model for Authentication on the Basis of a Coloured Petri Net
Abstract. 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 A...
Peter Lory
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
13 years 10 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
ICWN
2003
13 years 5 months ago
Modeling and Evaluation of Scatternets Performance by Using Petri Nets
Coloured Petri Nets are powerful models for different problems. This paper deals with the modelling of a Bluetooth communication network, piconet and scatternet. The developed Pet...
Silke Feldmann, Tim Hartmann, Kyandoghere Kyamakya
CORR
2006
Springer
93views Education» more  CORR 2006»
13 years 4 months ago
Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems
Bipolar synchronization systems (BP-systems) constitute a class of coloured Petri nets, well suited for modelling the control flow of discrete dynamical systems. Every BP-system ha...
Joachim Wehler