Object orientation in hierarchical predicate transition nets
Concurrent object-oriented programming and petri nets
Translating hierarchical predicate transition nets to CC++ program skeletons
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach
COMPSAC '00 24th International Computer Software and Applications Conference
Reasoning about Algebraic Generalisation of Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Formally analyzing software architectural specifications using SAM
Journal of Systems and Software
An approach to web services oriented modeling and validation
Proceedings of the 2006 international workshop on Service-oriented software engineering
Modeling, validating and automating composition of web services
ICWE '06 Proceedings of the 6th international conference on Web engineering
A Methodology for Architectural Design of Concurrent and Distributed Software Systems
The Journal of Supercomputing
A method to test concurrent systems using architectural specification
The Journal of Supercomputing
Journal of Integrated Design & Process Science - Component-Based System Development
Safety Properties In Petri Net Modules
Journal of Integrated Design & Process Science
Complex Knowledge System Modeling Based on Hierarchical Fuzzy Petri Net
WI-IATW '07 Proceedings of the 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops
A methodology for evaluating test coverage criteria of high levelPetri nets
Information and Software Technology
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP
Fundamenta Informaticae
A formal approach to designing secure software architectures
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Hi-index | 0.00 |