Date: Tue, 30 Jun 1998 19:33:07 -0500 From: Pedro Giffuni <giffunip@asme.org> To: ports@FreeBSD.ORG Subject: [Fwd: (PN) Petri Net Kernel V. 1.1] Message-ID: <359983C3.6177F73F@asme.org>
next in thread | raw e-mail | index | archive | help
This is a multi-part message in MIME format.
--------------1EE398601FBE2237815D9608
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Sounds interesting for a restricted group of people...
--------------1EE398601FBE2237815D9608
Content-Type: message/rfc822
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
Return-Path: <PetriNets-owner@daimi.aau.dk>
Received: from daimi.aau.dk ([130.225.16.1]) by bachue.usc.unal.edu.co
(Netscape Messaging Server 3.0) with ESMTP id AAA13964
for <pfgiffun@bachue.usc.unal.edu.co>;
Tue, 30 Jun 1998 13:14:30 +0500
Received: (from daemon@localhost)
by daimi.aau.dk (8.8.7/8.8.7) id LAA25106;
Tue, 30 Jun 1998 11:15:29 +0200 (MET DST)
Date: Tue, 30 Jun 1998 08:46:49 +0200
From: kindler@informatik.hu-berlin.de (Ekkart Kindler )
Message-Id: <199806300646.IAA18365@neon.fb-inf2>
To: PetriNets@daimi.aau.dk
Subject: (PN) Petri Net Kernel V. 1.1
X-Sun-Charset: US-ASCII
Sender: PetriNets-owner@daimi.aau.dk
Precedence: bulk
Reply-To: kindler@informatik.hu-berlin.de (Ekkart Kindler )
Errors-To: PetriNets-owner@daimi.aau.dk
Dear all,
I would like to announce the availability of the Petrinet Kernel (PNK)
Version 1.1.
The PNK was developed at Humboldt-University Berlin in order to ease the
implementation of new algorithms for simulation or analysis of Petri nets.
To this end, the PNK provides a set of classes along with simple operations
for investigating the structure of the net and for modifying it. These
operations rephrase the usual mathematical operations on Petri nets (e.g.
preset, postset, set of transitions, ...). Moreover, there are operations
for graphically displaying some information found by the analysis algorithm
or for animating a simulation.
Still, the programmer need not deal with the graphical represenation of
the Petri net or a graphical editor, nor does he need to implement load or
save functions; this is all provided by the PNK. Therefore, the programmer
can concentrate on the algorithm itself.
The PNK is not confined to a patricular Petri net type: The used Petri net
type can be specified by a parameter. The parameter consists of a set of
classes, which define the legal markings, the legal arc-inscriptions etc.
These classes can be easily written for your favourit Petri net type. The
graphical editor which comes along with the PNK is able to edit any Petri net
type which is specified by such a parameter.
The PNK is implemented in the object-oriented prototyping language Python; on
request we will send you the current version of the PNK along with a simple
editor and some simple applications.
Unfortunately, the documentation of the PNK is available in German, only.
But with a little help from us, persons who don't speak German might manage
to use the PNK.
If you are interested in the PNK or in further information, please, feel free
to contact me. Some more German information on the PNK and links to the
German Documentation can be found at
http://www.informatik.hu-berlin.de/~kindler/PN-Kern/PNK.html
Kind regard,
Ekkart Kindler
--
Ekkart Kindler email: kindler@informatik.hu-berlin.de
Humboldt-Universitaet zu Berlin http://www.informatik.hu-berlin.de/~kindler
Institut fuer Informatik Tel.: +49 30-20181-208
D-10099 Berlin Fax: +49 30-20181-221
Germany
---
[[ Post messages and summary of replies: PetriNets@daimi.aau.dk ]]
[[ The moderator's address: PetriNets-owner@daimi.aau.dk ]]
[[ To (un)subscribe: PetriNets-request@daimi.aau.dk ]]
[[ World Wide Web URL: http://www.daimi.aau.dk/PetriNets/pnl/ ]]
--------------1EE398601FBE2237815D9608--
To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-ports" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?359983C3.6177F73F>