Author:
van Hee Kees,Serebrenik Alexander,Sidorova Natalia,van der Aalst Wil
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. CBN Tools http://wiki.daimi.au.dk/cpntools/cpntools.wiki
2. Baldan, P., Busi, N., Corradini, A., Pinna, G.M.: Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theoretical Computer Science 323(1-3), 129–189 (2004)
3. Best, E., Devillers, R.R.: Sequential and concurrent behaviour in Petri net theory. Theoretical Computer Science 55(1), 87–136 (1987)
4. Genrich, H.J., Lautenbach, K., Thiagarajan, P.S.: Elements of general net theory. In: Proceedings of the Advanced Course on General Net Theory of Processes and Systems, London, pp. 21–163. Springer, Heidelberg (1980)
5. Giannakopoulou, D., Havelund, K.: Automata-based verification of temporal properties on running programs. In: ASE, IEEE Computer Society (Full version available as a technical report) pp. 412–416 (2001)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. History-Dependent Stochastic Petri Nets;Perspectives of Systems Informatics;2010
2. On-the-Fly Auditing of Business Processes;Transactions on Petri Nets and Other Models of Concurrency IV;2010
3. Adaptive Workflows for Healthcare Information Systems;Business Process Management Workshops;2008