Compositional specification and verification of distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Integrating BPR with image-based work flow
WSC '94 Proceedings of the 26th conference on Winter simulation
Information system behavior specification by high level Petri nets
ACM Transactions on Information Systems (TOIS)
Toward automatic generation of novice user test scripts
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
WSC '93 Proceedings of the 25th conference on Winter simulation
Performance Modeling of System Architectures
Journal of VLSI Signal Processing Systems - Special issue on the rapid prototyping of application specific signal processors (RASSP) program
An integrated design environment for performance and dependability analysis
DAC '97 Proceedings of the 34th annual Design Automation Conference
A symbolic simulation mechanism for well-formed coloured Petri nets
ANSS '92 Proceedings of the 25th annual symposium on Simulation
Formal modeling of synchronization methods for concurrent objects in Ada 95
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
FunState—an internal design representation for codesign
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
Using petri nets for specifying active objects and generative communication
Concurrent object-oriented programming and petri nets
Control properties in object-oriented specifications
Concurrent object-oriented programming and petri nets
A High-Level Petri Nets-Based Approach to Verifying Task Structures
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Parallel and Distributed Systems
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language
IEEE Transactions on Software Engineering
Performance Results for an Implementation of the Process Coordination Language K2
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
Software engineering techniques and tools for high performance parallel systems
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
Characterization of timed well-formed Petri nets behavior by means of occurrence equations
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Providing transactional properties for migrating workflows
Mobile Networks and Applications
Dynamically discovering architectures with DiscoTect
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
YAWL: yet another workflow language
Information Systems
Soft-coded trade procedures for open-EDI
International Journal of Electronic Commerce - Special section: Diversity in electronic commerce research
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Enterprise integration tools: a small manufacturing enterprise perspective
International Journal of Information Technology and Management
Different models of work in the modern services enterpise
Information-Knowledge-Systems Management - Work, Workflow, Information Systems and Enterprise Transformation
On the relationship between workflow models and document types
Information Systems
Optimal number of pallets for reconfigurable cyclic manufacturing plants
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Temporal constraints for object migration and behavior modeling using colored petri nets
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Performance Evaluation of Petri nets Centralized Implementation. The Execution Time Controller
Discrete Event Dynamic Systems
A semantic model for many-core parallel computing
COCOA'11 Proceedings of the 5th international conference on Combinatorial optimization and applications
Petri-nets as an intermediate representation for heterogeneous architectures
Euro-Par'11 Proceedings of the 17th international conference on Parallel processing - Volume Part II
Research on SOA business process disaster tolerance recovery method
WISM'11 Proceedings of the 2011 international conference on Web information systems and mining - Volume Part I
InDico: information flow analysis of business processes for confidentiality requirements
STM'10 Proceedings of the 6th international conference on Security and trust management
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
On the computation of stubborn sets of colored petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Dialogue graphs: a formal and visual specification technique for dialogue modelling
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Petri nets for protocol engineering
Computer Communications
Modelling of communication platforms using algebraic high-level nets and their processes
Software Service and Application Engineering
Testing and Debugging Message Passing Programs in Synergy with their Specifications
Fundamenta Informaticae
Secure interoperation design in multi-domains environments based on colored Petri nets
Information Sciences: an International Journal
Multi levels semantic architecture for multimodal interaction
Applied Intelligence
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
A cylinder computation model for many-core parallel computing
Theoretical Computer Science
Proceedings of the 2013 Summer Computer Simulation Conference
Hi-index | 0.08 |