UNSPECIFIED (2003) Modelling with hierarchical object Petri nets. In: Workshop on the Concurrency Specification and programming (CS&P), OCT 07-09, 2002, BERLIN, GERMANY.

Full text not available from this repository.

Abstract

Fehling's hierarchical Petri nets are a net modelling framework based on refinement and abstraction of nets. Object Petri nets are a Petri net-based method of encapsulation. We bring these two domains together in the new concept of hierarchical object Petri nets. Defining hierarchical object Petri nets forces us to consider what it means to preserve synchronisation when abstracting or refining an object Petri net. The goal is to provide a sound theoretical basis for building computer tools to develop high-level Petri net models following the nets-within-nets paradigm.

Item Type:	Conference Item (UNSPECIFIED)
Subjects:	Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software Q Science > QA Mathematics
Journal or Publication Title:	FUNDAMENTA INFORMATICAE
Publisher:	IOS PRESS
ISSN:	0169-2968
Date:	May 2003
Volume:	55
Number:	2
Number of Pages:	19
Page Range:	pp. 129-147
Publication Status:	Published
Title of Event:	Workshop on the Concurrency Specification and programming (CS&P)
Location of Event:	BERLIN, GERMANY
Date(s) of Event:	OCT 07-09, 2002
URI:	http://wrap.warwick.ac.uk/id/eprint/9535

Data sourced from Thomson Reuters' Web of Knowledge

Request changes to a record

Actions (login required)

View Item