On the Structure of High-level Nets

On the Structure of High-level Nets (1995)

Cached

Download Links

[www.tcs.hut.fi]

by Johan Lilius , Johan Lilius

Venue:	Helsinki University of Technology
Citations:	10 - 0 self

Versions

Version History

Metadata Version 4

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	On the Structure of High-level Nets	user correction - Legacy Corrections
AUTHOR NAME	Johan Lilius	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science; Digital Systems Laboratory Telex: 125 161 htkk fi	SVM HeaderParse 0.2
AUTHOR ADDR	Otaniemi, Otakaari 1 Telefax: +358--0--465 077	SVM HeaderParse 0.2
AUTHOR NAME	Johan Lilius	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science; Digital Systems Laboratory Telex: 125 161 htkk fi	SVM HeaderParse 0.2
AUTHOR ADDR	Otaniemi, Otakaari 1 Telefax: +358--0--465 077	SVM HeaderParse 0.2
ABSTRACT	: The structure of High-level 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...	user correction - Legacy Corrections
YEAR	1995	user correction - Legacy Corrections
VENUE	Helsinki University of Technology	INFERENCE
VENUE TYPE	TECHREPORT	INFERENCE
TECH	PhD thesis	INFERENCE
CITATIONS	21 found	ParsCit 1.0