Petri net-based object-oriented modelling of distributed systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Software CAD: A Revolutionary Approach
IEEE Transactions on Software Engineering
An environment for operational software engineering in Ada
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Petri Net Tools for the Specification and Analysis of Discrete Controllers
IEEE Transactions on Software Engineering
RSF: A Formalism for Executable Requirement Specifications
IEEE Transactions on Software Engineering
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Using Flat Concurrent Prolog in System Modeling
IEEE Transactions on Software Engineering
Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
HOOD design method and control/command techniques for the develpment of realtime software
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Direct-manipulation user interface modeling with high-level Petri nets
CSC '91 Proceedings of the 19th annual conference on Computer Science
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
KRON: knowledge engineering approach based on the integration of CPNs with objects
Concurrent object-oriented programming and petri nets
Performance-related completions for software specifications
Proceedings of the 24th International Conference on Software Engineering
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
A Real-Time Discrete Event System Specification Formalismfor Seamless Real-Time Software Development
Discrete Event Dynamic Systems
Rapidly Prototyping Real-Time Systems
IEEE Software
Shared Memory Multimicroprocessor Operating System with an Extended Petri Net Model
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
Translating hierarchical predicate transition nets to CC++ program skeletons
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
An Overview of Souk Nets: A Component-Based Paradigm for Data Source Integration
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Modeling station duty officer operations assistant at Johnson space center
Advances in Engineering Software
Mapping Petri Nets to Parallel Programs in CC++
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Object-oriented technologies for automated manufacturing systems development
International Journal of Computer Applications in Technology
Symbolic execution of concurrent systems using Petri nets
Computer Languages
Hi-index | 0.00 |