Results 1 
2 of
2
On the Structure of Highlevel Nets
 Helsinki University of Technology
, 1995
"... : The structure of Highlevel nets is studied from an algebraic and a logical point of view using Algebraic nets as an example. First the category of Algebraic nets is defined and the semantics given through an unfolding construction. Other kinds of Highlevel net formalisms are then presented. It is ..."
Abstract

Cited by 10 (0 self)
 Add to MetaCart
: The structure of Highlevel nets is studied from an algebraic and a logical point of view using Algebraic nets as an example. First the category of Algebraic nets is defined and the semantics given through an unfolding construction. Other kinds of Highlevel net formalisms are then presented. It is shown that nets given in these formalisms can be transformed into equivalent Algebraic nets. Then the semantics of nets in terms of universal constructions is discussed. A definition of Algebraic nets in terms of structured transition systems is proposed. The semantics of the Algebraic net is then given as a free completion of this structured transition system to a category. As an alternative also a sheaf semantics of nets is examined. Here the semantics of the net arises as a limit of a diagram of sheaves. Next Algebraic nets are characterized as encodings of special morphisms called foldings. Each algebraic net gives rise to a surjective morphism between Petri nets and conversely each sur...
An FPGA Implementation of the Petri net Firing Algorithm
, 1997
"... . This paper reports on the design of a Field Programmable Gate Array (FPGA) implementation to execute the Petri net transition firing algorithm. This represents an important component in the development of an integrated coprocessor for software simulation based on Petri net type models. The work re ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
. This paper reports on the design of a Field Programmable Gate Array (FPGA) implementation to execute the Petri net transition firing algorithm. This represents an important component in the development of an integrated coprocessor for software simulation based on Petri net type models. The work reported here is the first stage of a project to provide a simulation environment for the efficient performance modelling of realtime software. Because long execution times are typically found in Petri net simulators running complex models, the aim of this investigation is to determine the feasibility of using hardware to accelerate execution of the simulation. 1 Introduction The development of software subject to strict temporal performance specifications requires the generation, simulation and analysis of appropriate computational models. Such software is required for information networks, distributed control systems, and aerospace/defence systems. With a software performance modelling app...