Information system behavior specification by high level Petri nets
ACM Transactions on Information Systems (TOIS)
Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
KRON: knowledge engineering approach based on the integration of CPNs with objects
Concurrent object-oriented programming and petri nets
Compositional Semantics of a Real-Time Prototyping Language
IEEE Transactions on Software Engineering
Modelling of Object Based Systems with Hidden Sorted ECATNets
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Development of an International Standard for High-level Petri Nets
ISESS '97 Proceedings of the 3rd International Software Engineering Standards Symposium (ISESS '97)
Towards a Standard for Modular Petri Nets: A Formalisation
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Finding Symmetries of Algebraic System Nets
Fundamenta Informaticae
Hi-index | 0.00 |