Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets-Reference-Cited by-同舟云学术

Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets

Published:2013 Issue: Volume: Page:19-36
ISSN:0302-9743
Container-title:Foundations of Health Information Engineering and Systems
language:
Short-container-title:

Author:

Bertolini Cristiano,Liu Zhiming,Srba Jiří

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-39088-3_2

Reference29 articles.

1. Blood transfusion medical benchmark, https://collab.cs.umass.edu/groups/laser_library/wiki/daf17/Blood_Transfusion_Medical_Benchmark.html

2. Abou El Kalam, A., Baida, R.E., Balbiani, P., Benferhat, S., Cuppens, F., Deswarte, Y., Miège, A., Saurel, C., Trouessin, G.: Organization based access control. In: Policy 2003 (June 2003)

3. Lecture Notes in Computer Science;M. Andersen,2013

4. Lecture Notes in Computer Science;C. Bertolini,2012

5. Bolognesi, T., Lucidi, F., Trigila, S.: From timed Petri nets to timed LOTOS. In: 10th International Symposium on Protocol Specification, Testing and Verification, pp. 1–14. North-Holland, Amsterdam (1990)

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. User journey games: automating user-centric analysis;Software and Systems Modeling;2024-03-14

2. Simulating User Journeys with Active Objects;Lecture Notes in Computer Science;2024

3. Towards modelling and analyzing timed workflow systems with complex synchronizations;Journal of King Saud University - Computer and Information Sciences;2020-05

4. Meta-ECATNets for Modelling and Analyzing Clinical Pathways;Modelling and Implementation of Complex Systems;2018-11-30

5. Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems;Computer Aided Verification;2018