Dynamic change in office automation: modeling and analysis
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Knowledge Verification with an Enhanced High-Level Petri-Net Model
IEEE Expert: Intelligent Systems and Their Applications
Investigating the Applicability of Petri Nets for Rule-Based System Verification
IEEE Transactions on Knowledge and Data Engineering
Analytical verification of information system requirements using petri net properties
Information and Software Technology
Hi-index | 0.00 |