Results 251 to 260 of about 31,117 (298)

From high-level Petri nets to SystemC

SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483), 2004
The paper introduces an approach for realizing high-level Petri net-models in SystemC. The presented approach contributes to an existing methodology for the Petri net-based design of distributed embedded real-time systems. It is intended to be a vehicle for realizing Petri net-components in hardware.
Carsten Rust, Achim Rettberg, Kai Gossens   +2 more
openaire   +1 more source

On Formalizing UML with High-Level Petri Nets

2001
Object-oriented methodologies are increasingly used in software development. Despite the proposal of several formally based models, current object-oriented practice is still dominated by informal methodologies, like Booch, OMT, and UML. Unfortunately, the lack of dynamic semantics of such methodologies limits the possibility of early analysis of ...
BARESI, LUCIANO, PEZZE', MAURO
openaire   +2 more sources

Generalised Composition Operations for High-level Petri Nets

Fundamenta Informaticae, 1999
We propose generic schemes for basic composition operations (sequential composition, choice, iteration, and refinement) for high-level Petri nets. They tolerate liberal combinations of place types (equal, disjoint, intersecting) and, owing to a parameterised scheme of type construction, allow for weak and strong versions of compositions.
Eike Best, Alexander Lavrov
openaire   +2 more sources

General refinement for high level petri nets

1997
The algebra of M-nets, a high level class of labelled Petri nets, was introduced in the Petri Box Calculus in order to cope with the size problem of the low level nets, especially if applied as semantical domain for parallel programming languages.
Raymond Devillers, Hanna Klaudel, Robert-C. Riemann   +2 more
openaire   +1 more source

A reasoning algorithm for high-level fuzzy Petri nets

IEEE Transactions on Fuzzy Systems, 1996
We introduce an automated procedure for extracting information from knowledge bases that contain fuzzy production rules. The knowledge bases considered here are modeled using the high-level fuzzy Petri nets proposed by the authors in the past. Extensions to the high-level fuzzy Petri net model are given to include the representation of partial sources ...
Heloisa Scarpelli, Fernando A. C. Gomide, Ronald R. Yager   +2 more
openaire   +1 more source

Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets

1999
In the area of Petri nets, many different developments have taken place within the last 30 years, in academia as well as in practice. For an adequate use in practice, a coherent and application oriented combination of various types and techniques for Petri nets is necessary.
openaire   +1 more source

An object-oriented approach to High-Level Petri Nets

Microprocessing and Microprogramming, 1992
Abstract This paper introduces a class of High-Level Petri Nets, called τ-nets, used for the analysis, description, and sub-optimal solution of a general class of problems of process scheduling. τ-nets include timed transitions, a type-checking mechanism, and the definition of taxonomic hierarchies of token types.
Antonio Camurri, Paolo Franchi, Maurizio Vitale   +2 more
openaire   +1 more source

A high level Petri net model of olfactory bulb

IEEE International Conference on Neural Networks, 2002
A class of Petri nets (PNs), high level Petri nets (HPNs), are powerful and versatile tools for modeling, simulating, analyzing, designing and controlling complex asynchronous concurrent systems. An initial attempt is made to model biological neural networks (BNNs) with HPNs, since the interactions among neurons is basically asynchronous concurrent in ...
Kurapati Venkatesh, Oren Masory, Abhijit Pandya   +2 more
openaire   +1 more source

Behaviour and Instantiation of High-Level Petri Net Processes

Fundamenta Informaticae, 2005
Processes for high-level nets are often defined as processes of the low-level net Flat(n) which is obtained from N via the well-known flattening construction. This low-level notion of processes for high-level nets, however, is not really adequate, because the high-level structure is completely lost.
openaire   +3 more sources

Algebraic high level nets

1994
Petri nets, well established as a fundamental model of concurrency and as a specification technique for distributed systems, are revisited from an algebraic point of view. In a first step Petri nets can be considered as monoids with well-defined algebraic semantics.
Hartmut Ehrig, Julia Padberg, Leila Ribeiro 0001   +2 more
openaire   +1 more source