A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
Detection of Ada Static Deadlocks Using Petri Net Invariants
IEEE Transactions on Software Engineering
Numerical Analysis of Superposed GSPNs
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Compositional verification of concurrent systems using Petri-net-based condensation rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
petri—a UNIX tool for the analysis of Petri nets
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
Control Synthesis of Petri Nets Based on S-Decreases
Discrete Event Dynamic Systems
Hierarchical Reachability Graph Generation for Petri Nets
Formal Methods in System Design
Implementation of Rule-Based Information Systems for Integrated Manufacturing
IEEE Transactions on Knowledge and Data Engineering
Dependency Analysis-A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems
IEEE Transactions on Parallel and Distributed Systems
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
Logical Inference of Horn Clauses in Petri Net Models
IEEE Transactions on Knowledge and Data Engineering
Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Numerical analysis of superposed GSPNs
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
On assembly sequence planning using Petri nets
ISATP '95 Proceedings of the 1995 IEEE International Symposium on Assembly and Task Planning
Product-form and stochastic Petri nets: a structural approach
Performance Evaluation
Journal of Intelligent and Robotic Systems
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming
Synthesis of the Supervising Agent in MAS
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
Intelligent Design of Diagnosable Systems: A Case Study of Semiconductor Manufacturing Machines
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement
Discrete Event Dynamic Systems
Analytical verification of information system requirements using petri net properties
Information and Software Technology
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Introduction to generalized stochastic Petri nets
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Reachability judgment in P/T Petri nets by approximate algebraic approach
ISPRA'10 Proceedings of the 9th WSEAS international conference on Signal processing, robotics and automation
Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
Science of Computer Programming
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
Improving model-based diagnosis through algebraic analysis: the Petri net challenge
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Recovering model invariants from simulation traces with Petri net analysis techniques
Winter Simulation Conference
A reachability algorithm for general petri nets based on transition invariants
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
Integrated process planning and supply chain configuration for commodity assemblies using petri nets
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Mathematical and Computer Modelling: An International Journal
Planning temporal events using point-interval logic
Mathematical and Computer Modelling: An International Journal
Verification and testing of biological models
Proceedings of the Winter Simulation Conference
Conservation of Mass Analysis for Bio-PEPA
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.02 |