A New Synchronization in Finite Stochastic Petri Box Calculus

	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 Hermenegilda Macià Articles by Valentín Valero Articles by Fernando Cuartero Articles by Fernando L. Pelayo

Third International Conference on Application of Concurrency to System Design (ACSD'03)

Guimar?es, Portugal

June 18-June 20

ISBN: 0-7695-1887-7

	ASCII Text	x
	Hermenegilda Macià, Valentín Valero, Fernando Cuartero, Fernando L. Pelayo, "A New Synchronization in Finite Stochastic Petri Box Calculus," Application of Concurrency to System Design, International Conference on, pp. 216, Third International Conference on Application of Concurrency to System Design (ACSD'03), 2003.

	BibTex	x
	@article{ 10.1109/CSD.2003.1207716, author = {Hermenegilda Macià and Valentín Valero and Fernando Cuartero and Fernando L. Pelayo}, title = {A New Synchronization in Finite Stochastic Petri Box Calculus}, journal ={Application of Concurrency to System Design, International Conference on}, volume = {0}, year = {2003}, isbn = {0-7695-1887-7}, pages = {216}, doi = {http://doi.ieeecomputersociety.org/10.1109/CSD.2003.1207716}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Application of Concurrency to System Design, International Conference on TI - A New Synchronization in Finite Stochastic Petri Box Calculus SN - 0-7695-1887-7 SP EP A1 - Hermenegilda Macià, A1 - Valentín Valero, A1 - Fernando Cuartero, A1 - Fernando L. Pelayo, PY - 2003 KW - Petri Box Calculus KW - Stochastic Petri Nets KW - Stochastic Process Algebra KW - Performance Evaluation VL - 0 JA - Application of Concurrency to System Design, International Conference on ER -

Hermenegilda Macià, Universidad de Castilla-La Mancha

Valentín Valero, Universidad de Castilla-La Mancha

Fernando Cuartero, Universidad de Castilla-La Mancha

Fernando L. Pelayo, Universidad de Castilla-La Mancha

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSD.2003.1207716

The Petri Box Calculus (PBC) combines two well known paradigms of the design of concurrent systems: process algebras and Petri nets. In our first proposal of sPBC (stochastic PBC) [12] we defined a Markovian extension of finite PBC, i.e., we had a Markovian process algebra for which both an operational and a denotational (based on stochastic Petri nets) semantics were defined. Our goal in this paper is to improve the semantics for the synchronization operator, in order to define a stochastic equivalence relation.

Index Terms:

Petri Box Calculus, Stochastic Petri Nets, Stochastic Process Algebra, Performance Evaluation

Citation:

Hermenegilda Macià, Valentín Valero, Fernando Cuartero, Fernando L. Pelayo, "A New Synchronization in Finite Stochastic Petri Box Calculus," acsd, pp.216, Third International Conference on Application of Concurrency to System Design (ACSD'03), 2003

Peer Review Notice | Give Us Feedback

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