Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by A. H. M. ter Hofstede
Soundness of Workflow Nets: Classification, Decidability, and Analysis
Formal Aspects of Computing
Theoretical Computer Science
Software
Deriving Identity From Extensionality
International Journal of Software Engineering and Knowledge Engineering
Computer Graphics
Computer Networks
Communications
Computer-Aided Design
Artificial Intelligence
Software
Related publications
Continuous Petri Nets: Expressive Power and Decidability Issues
International Journal of Foundations of Computer Science
Computer Science
Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
State Number Calculation Problem of Workflow Nets
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modeling and Simulation of Extended Fuzzy Timing Workflow Nets Based on Possibility Theory
Modeling Routing Constructs to Represent Distributed Workflow Processes Using Extended Petri Nets
ITM Web of Conferences
Analysis of Cloud Workflow System
Decidability and Syntactic Control of Interference
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Complexity Analysis of Continuous Petri Nets
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
