Instantiating Nets and Their Applications to Workflow 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 Ferucio Laurenţiu Ţiplea Articles by Aurora Ţiplea

Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05)

Timisoara, Romania

September 25-September 29

ISBN: 0-7695-2453-2

	ASCII Text	x
	Ferucio Laurenţiu Ţiplea, Aurora Ţiplea, "Instantiating Nets and Their Applications to Workflow Nets," Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on, pp. 367-373, Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05), 2005.

	BibTex	x
	@article{ 10.1109/SYNASC.2005.39, author = {Ferucio Laurenţiu Ţiplea and Aurora Ţiplea}, title = {Instantiating Nets and Their Applications to Workflow Nets}, journal ={Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on}, volume = {0}, year = {2005}, isbn = {0-7695-2453-2}, pages = {367-373}, doi = {http://doi.ieeecomputersociety.org/10.1109/SYNASC.2005.39}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on TI - Instantiating Nets and Their Applications to Workflow Nets SN - 0-7695-2453-2 SP367 EP373 A1 - Ferucio Laurenţiu Ţiplea, A1 - Aurora Ţiplea, PY - 2005 KW - null VL - 0 JA - Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on ER -

Ferucio Laurenţiu Ţiplea, University of Central Florida

Aurora Ţiplea, Iaşi County Council

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SYNASC.2005.39

k-soundness, generalized soundness, and structural soundness are important correctness criteria that workflow nets should satisfy. Using instantiating nets, we present in an uniform way some of the results recently obtained regarding the decidability status of the generalized and structural soundness properties.

Citation:

Ferucio Laurenţiu Ţiplea, Aurora Ţiplea, "Instantiating Nets and Their Applications to Workflow Nets," synasc, pp.367-373, Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05), 2005

Peer Review Notice | Give Us Feedback

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