UNIVERSITY OF SOUTH AUSTRALIA Modelling, Analysis and Prototyping of the ODP Trader using Coloured Petri Nets and Java ANDREW A. TOKMAKOFF

First Page		Document Content
Date: 1999-01-26 18:27:05 Economy Software engineering Finance Financial markets Concurrency Diagrams Models of computation Petri nets RM-ODP Option Iterator Trader		UNIVERSITY OF SOUTH AUSTRALIA Modelling, Analysis and Prototyping of the ODP Trader using Coloured Petri Nets and Java ANDREW A. TOKMAKOFF Add to Reading List Source URL: www.itr.unisa.edu.au Download Document from Source Website File Size: 1,29 MB Share Document on Facebook

	Logics for Continuous Reachability in Petri Nets and Vector Addition Systems with States Michael Blondin Christoph Haase DocID: 1vpqn - View Document
	Complete Finite Prefixes of Symbolic Unfoldings of Time Petri Nets Thomas Chatain1 and Claude Jard2 1 IRISA/INRIA, DocID: 1uXAf - View Document
	Model engineering on Petri nets for ISO/IEC: API Framework for Petri Net types metamodels Lom Hillah, Fabrice Kordon (LIP6, Univ. P. & M. Curie), {lom-messan.hillah,fabrice.kordon}@lip6.fr Laure Petrucci (LIPN, U DocID: 1uLAw - View Document
	Robustness of Time Petri Nets under architectural constraints ? S. Akshay1,2 , Lo¨ıc H´elou¨et1 , Claude Jard1,2 , Didier Lime3 and Olivier H. Roux3 1 INRIA/IRISA Rennes, France ENS Cachan Bretagne, Rennes, France DocID: 1uaIu - View Document
	Symbolic Unfolding of Parametric Stopwatch Petri Nets L.-M. Traonouez1 , B. Grabiec2 , C. Jard2 , D. Lime3 and O. H. Roux3? 1 Universit` DocID: 1u8sM - View Document