Citation map · Study

SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes

12 references·6 citing·26 second hop

FromToDepth

this work references cited by second hop

References

1996Workflow Management: Modeling Concepts, Architecture and Implementation728 cited
1998Modeling and Analysis of Workflows Using Petri Nets299 cited
2013Time Constraints in Workflow Systems202 cited
2004Performance modeling and analysis of workflow155 cited
1999On Modeling and Verification of Temporal Constraints in Production Workflows148 cited
1999Time Constraints in Workflow Systems134 cited
1999Time Management in Workflow Systems119 cited
2001A timed workflow process model119 cited
2003Timing constraint workflow nets for workflow analysis114 cited
2002Time Petri nets for workflow modelling and analysis96 cited
2004Dynamic checking of temporal constraints for concurrent workflows56 cited
2002Dynamic verification of temporal constraints in production workflows54 cited

Cited by

2016A metamodel to integrate business processes time perspective in BPMN 2.048 cited
2013Toward a Time-centric modeling of Business Processes in BPMN 2.046 cited
2014Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes29 cited

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work

2018A sufficient and necessary temporal violation handling point selection strategy in cloud workflow25 cited

2016Formal Verification of Time-Aware Cloud Resource Allocation in Business Process18 cited

2020Analyzing Security Requirements in Timed Workflow Processes16 cited