Towards Analysing a Class of Object Petri Nets

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Sea Ling Articles by Heinz W. Schmidt

1996 Australian Software Engineering Conference (ASWEC '96)

Melbourne, AUSTRALIA

July 14-July 18

ISBN: 0-8186-7635-3

	ASCII Text	x
	Sea Ling, Heinz W. Schmidt, "Towards Analysing a Class of Object Petri Nets," Australian Software Engineering Conference, pp. 81, 1996 Australian Software Engineering Conference (ASWEC '96), 1996.

	BibTex	x
	@article{ 10.1109/ASWEC.1996.534126, author = {Sea Ling and Heinz W. Schmidt}, title = {Towards Analysing a Class of Object Petri Nets}, journal ={Australian Software Engineering Conference}, volume = {0}, year = {1996}, isbn = {0-8186-7635-3}, pages = {81}, doi = {http://doi.ieeecomputersociety.org/10.1109/ASWEC.1996.534126}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Australian Software Engineering Conference TI - Towards Analysing a Class of Object Petri Nets SN - 0-8186-7635-3 SP EP A1 - Sea Ling, A1 - Heinz W. Schmidt, PY - 1996 KW - object-based KW - Petri nets KW - analysis KW - liveness KW - safeness VL - 0 JA - Australian Software Engineering Conference ER -

Sea Ling, Monash University, Australia

Heinz W. Schmidt, Monash University, Australia

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASWEC.1996.534126

The Petri net theory has been used to specify many systems, in particular, concurrent, distributed and non-deterministic. A class of high-level, object-based Petri nets, OBJSA nets, is being used to model the behaviour of a concurrent system - a priority queue. We propose a method of analysing its behaviour by examining its structure and its underlying subnet components according to the state machine paradigm. This is closely related to the liveness and safeness analysis of free-choice Condition/Event systems with simple or unstructured tokens in existing literature. By using these existing results and applying them to OBJSA nets with structured tokens, we are able to determine the liveness property of our priority queue example.

Index Terms:

object-based, Petri nets, analysis, liveness, safeness

Citation:

Sea Ling, Heinz W. Schmidt, "Towards Analysing a Class of Object Petri Nets," aswec, pp.81, 1996 Australian Software Engineering Conference (ASWEC '96), 1996

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.