Decision Support Systems · 2015 · 56 citations · 24 references
ComputingComputer ScienceData ScienceData MiningLog AnalysisLog ManagementLog Quality ControlProcess MiningProcess ModelingProcess Performance MetricsInput SanitizationLog File ProcessingLog-based DetectionProcess DiscoveryProcess Mining MetricsSanitization
24
Petri nets: Properties, analysis and applications
T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations
Branching time and abstraction in bisimulation semantics
Rob J. van Glabbeek, W. P. Weijland · Journal of the ACM · 1996 · 737 citations · Full text