Stochastic High-Level Petri Nets and Applications
IEEE Transactions on Computers
Observer-A Concept for Formal On-Line Validation of Distributed Systems
IEEE Transactions on Software Engineering
WSC '86 Proceedings of the 18th conference on Winter simulation
Automated generation of electronic procedures: procedure constraint grammars
Decision Support Systems - Special issue: Formal modeling and electronic commerce
IEEE Transactions on Software Engineering
Optimising Enabling Tests and Unfoldings of Algebraic System Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Maria: Modular Reachability Analyser for Algebraic System Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Cooperative role-based administration
Proceedings of the eighth ACM symposium on Access control models and technologies
The two-step commitment protocol: Modeling, specification and proof methodology
ICSE '81 Proceedings of the 5th international conference on Software engineering
Role-based access control in ambient and remote space
Proceedings of the ninth ACM symposium on Access control models and technologies
Modular authorization and administration
ACM Transactions on Information and System Security (TISSEC)
Modelling of batch production systems using Petri nets with dynamic tokens
Mathematics and Computers in Simulation
Soft-coded trade procedures for open-EDI
International Journal of Electronic Commerce - Special section: Diversity in electronic commerce research
Deriving protocol specifications from service specifications written as predicate/transition-nets
Computer Networks: The International Journal of Computer and Telecommunications Networking
Duality in high level petri-nets: a basis to do diagnoses
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
An integrated tool for development of overlay services
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
An efficient method for unfolding colored Petri nets
Proceedings of the Winter Simulation Conference
| Hi-index | 0.00 |