Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems
ACM SIGSOFT Software Engineering Notes
A formal modeling approach for supply chain event management
Decision Support Systems
Transformation methodology for UML 2.0 activity diagram into colored Petri nets
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Information and Software Technology
Load management in model-aware execution of composite web services
Proceedings of the 2009 ACM symposium on Applied Computing
Semantics of the interaction overview diagram
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
Modeling and analyzing resource-constrained business processes
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Coloured Petri nets: status and outlook
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Business conversation manager: facilitating people interactions in outsourcing service engagements
ICWE'10 Proceedings of the 10th international conference on Web engineering
Markov decision processes from colored Petri nets
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
Modelization of a communication protocol for CSCW systems using coloured petri nets
CDVE'05 Proceedings of the Second international conference on Cooperative Design, Visualization, and Engineering
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems
Mathematical and Computer Modelling: An International Journal
An interleaving semantics for UML 2 interactions using Petri nets
Information Sciences: an International Journal
An Exposition of Performance-Security Trade-offs in RANETs Based on Quantitative Network Models
Wireless Personal Communications: An International Journal
Object Petri nets marking using UML
International Journal of Computer Applications in Technology
Validation environment of UML2 IOD based on hierarchical coloured Petri nets
International Journal of Computer Applications in Technology
| Hi-index | 0.00 |