Have a personal or library account? Click to login
An analytical method for well-formed workflow/Petri net verification of classical soundness Cover

An analytical method for well-formed workflow/Petri net verification of classical soundness

International Journal of Applied Mathematics and Computer Science
Volume 24 (2014): Issue 4 (December 2014)
By: Julio Clempner  
Open Access
|Dec 2014

Authors

Julio Clempner

julio@clempner.name

DOI: https://doi.org/10.2478/amcs-2014-0068 | Journal eISSN: 2083-8492 | Journal ISSN: 1641-876X
Journal RSS Feed
Language: English
Page range: 931 - 939
Submitted on: Jul 4, 2013
Published on: Dec 20, 2014
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
Petri nets,
decidability,
workflow nets,
Lyapunov stability,
soundness,
verification
Related subjects:
Mathematics,
Applied mathematics

© 2014 Julio Clempner, published by University of Zielona Góra
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Previous articleVolume 24 (2014): Issue 4 (December 2014)Next article