Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 11 - 20
of
130
A General Systematic Approach to Arc Extensions for Coloured Petri Nets
, 1993
"... Abstract: This paper proposes an approach to arc extensions in CP-nets which is claimed to be both general and systematic. It is general because the enabling rules cater for true concurrency as well as an interleaving semantics and because it encompasses the other proposals for arc extensions that ..."
Abstract
-
Cited by 23 (7 self)
- Add to MetaCart
that have been made recently in the Petri Net literature, often in the context of the requirements of specific application domains. It is systematic because it proposes a set of fundamental arcs in the context of a general complementary place construction and then considers how these arcs can be combined
An Evaluation of Naive Bayesian Anti-Spam Filtering
, 2000
"... It has recently been argued that a Naive Bayesian classifier can be used to filter unsolicited bulk e-mail ("spam"). We conduct a thorough evaluation of this proposal on a corpus that we make publicly available, contributing towards standard benchmarks. At the same time we investigate the ..."
Abstract
-
Cited by 165 (1 self)
- Add to MetaCart
the effect of attribute-set size, training-corpus size, lemmatization, and stop-lists on the filter's performance, issues that had not been previously explored. After introducing appropriate cost-sensitive evaluation measures, we reach the conclusion that additional safety nets are needed for the Naive
Building a Stateful Reference Monitor with Coloured Petri Nets
"... The need for collaboration and information sharing has been recently growing dramatically with the convergence of outsourcing and offshoring, the increasing need to cut costs through cooperative agreements between partners as well as competitors, and the rise in the demand for a highquality healthca ..."
Abstract
- Add to MetaCart
policies or enforce obliged actions, and constraints for concurrent access and usage of shared resources. These new requirements stipulate the need for new policy models and advanced enforcement mechanisms. Towards these we aim at developing a formal framework based on Coloured Petri Nets theory
An Approach Towards the Verification of Hybrid Rule/Frame-based Expert Systems Using Coloured Petri Nets
- In Proceedings of 1995 IEEE International Conference on SMC. Vancouver
, 1995
"... High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the analysis of the knowledge inference during the reasoning process, and to support the system verification which increasingly ..."
Abstract
-
Cited by 5 (4 self)
- Add to MetaCart
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the analysis of the knowledge inference during the reasoning process, and to support the system verification which increasingly
From Task Descriptions via Coloured Petri Nets Towards an Implementation of a New Electronic Patient Record
- University of Aarhus
, 2006
"... Abstract. We consider a given specification of functional requirements for a new electronic patient record system for Fyn County, Denmark. The requirements are expressed as task descriptions, which are informal descriptions of work processes to be supported. We describe how these task descriptions a ..."
Abstract
-
Cited by 6 (2 self)
- Add to MetaCart
are used as a basis to construct two executable models in the formal modeling language Colored Petri Nets (CPNs). The first CPN model is used as an execution engine for a graphical animation, which constitutes an Executable Use Case (EUC). The EUC is a prototype-like representation of the task descriptions
TOWARDS COSIMULATING SYSTEMC AND COLOURED PETRI NET MODELS FOR SOC FUNCTIONAL AND PERFORMANCE EVALUATION
"... Semiconductor technology miniaturization allows pack-ing more transistors onto a single chip. The resulting Sys-tem on Chip (SoC) designs are predominant for embed-ded systems such as mobile devices. Such complex chips are composed of several subsystems called Intellectual Property blocks (IPs) whic ..."
Abstract
- Add to MetaCart
is that developing SystemC models can be very time consum-ing, so we propose to use a coloured Petri net model to describe how IPs are interconnected and use SystemC to describe the IPs themselves. Our approach focuses on fast simulation and a natural way for the user to intercon-nect the two kinds of models. We
Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN
"... The wireless mesh network (WMN) is an emerging and cost-effective alternative paradigm for the next generation wireless networks in many diverse applications. In the performance evaluation of routing protocol for the WMN, it is essential that it should be evaluated under realistic conditions. The u ..."
Abstract
- Add to MetaCart
The wireless mesh network (WMN) is an emerging and cost-effective alternative paradigm for the next generation wireless networks in many diverse applications. In the performance evaluation of routing protocol for the WMN, it is essential that it should be evaluated under realistic conditions
Modelling and Simulation of a Network Management System using Hierarchical Coloured Petri Nets
- In Proceedings of the 1991 European Simulation Conference, (Copenhagen
, 1991
"... Development of distributed software systems is a complex task. This paper argues that design and specification can be supported by modelling and simulation using Hierarchical Coloured Petri Nets (CP-nets). This conclusion is based on a case study of a project in which CP-nets were used in the detail ..."
Abstract
-
Cited by 10 (2 self)
- Add to MetaCart
Development of distributed software systems is a complex task. This paper argues that design and specification can be supported by modelling and simulation using Hierarchical Coloured Petri Nets (CP-nets). This conclusion is based on a case study of a project in which CP-nets were used
Towards a Methodology for Modeling with Petri Nets – p.1Motivation
"... complex systems to model writing formal specifications is difficult Towards a Methodology for Modeling with Petri Nets – p.2Motivation complex systems to model writing formal specifications is difficult ⇒ help and guidelines required Towards a Methodology for Modeling with Petri Nets – p.2Motivation ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
complex systems to model writing formal specifications is difficult Towards a Methodology for Modeling with Petri Nets – p.2Motivation complex systems to model writing formal specifications is difficult ⇒ help and guidelines required Towards a Methodology for Modeling with Petri Nets – p.2
Towards a Linear Logic Based Calculus for Structural Modifications of Petri Nets
"... . Object based Petri nets are becoming increasingly popular in many fields of computer science. The possibility to model real-world objects as separate Petri nets supports the need for modular design of complex systems. So far object net approaches have been based on the presumption that the object ..."
Abstract
- Add to MetaCart
nets' structure remains unchanged in all processes. This paper sheds some light on possible extensions of high-level Petri nets to incorporate the dynamic evolution of Petri net structures. The exposition is based on the Linear Logic encoding of Petri nets ([Bro89], [MOM89]) and coloured Petri
Results 11 - 20
of
130
