A framework for classifying and comparing architecture description languages
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Verification and validation of the SACHEM Conceptual model
International Journal of Human-Computer Studies
A Structural Model of ECA Rules in Active Database
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
A TCPN based approach to model the coordination in virtual manufacturing organizations
Computers and Industrial Engineering
Workflow-based grid applications
Future Generation Computer Systems
Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems
ACM SIGSOFT Software Engineering Notes
Improving the quality of alerts and predicting intruder's next goal with Hidden Colored Petri-Net
Computer Networks: The International Journal of Computer and Telecommunications Networking
Discovery of Asynchronous Concurrent Models from Experimental Tables
Fundamenta Informaticae - International Conference on Soft Computing and Distributed Processing (SCDP'2002)
Discovering Architectures from Running Systems
IEEE Transactions on Software Engineering
Cost-based and time-based analysis of DoS-resistance in HIP
ACSC '07 Proceedings of the thirtieth Australasian conference on Computer science - Volume 62
Architecture-driven modelling and analysis
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
Measuring similarity between semantic business process models
APCCM '07 Proceedings of the fourth Asia-Pacific conference on Comceptual modelling - Volume 67
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
Anticipatory Alignment Mechanisms for Behavioral Learning in Multi Agent Systems
Anticipatory Behavior in Adaptive Learning Systems
Agent Behavior Alignment: A Mechanism to Overcome Problems in Agent Interactions During Runtime
CIA '07 Proceedings of the 11th international workshop on Cooperative Information Agents XI
Towards modelling and analysis of a coordination protocol for dynamic software adaptation
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Constructing SCORM compliant course based on High-Level Petri Nets
Computer Standards & Interfaces
Redesigning business processes: a methodology based on simulation and process mining techniques
Knowledge and Information Systems
EPN-Based Web Service Composition Approach
WISM '09 Proceedings of the International Conference on Web Information Systems and Mining
A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC Policies
Electronic Notes in Theoretical Computer Science (ENTCS)
Property-Transition-Net-Based Workflow Process Modeling and Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
PCI'01 Proceedings of the 8th Panhellenic conference on Informatics
Comparing NiMMiT and data-driven notations for describing multimodal interaction
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
Coloured Petri nets: status and outlook
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Query nets: interacting workflow modules that ensure global termination
BPM'03 Proceedings of the 2003 international conference on Business process management
An XML-based framework for loosely coupled applications on grid environments
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Task scheduling modelling and reliability evaluation of grid services using coloured Petri nets
Future Generation Computer Systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Markov decision processes from colored Petri nets
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
CPN-TWS: a coloured petri-net approach for transactional-QoS driven Web Service composition
International Journal of Web and Grid Services
Coloured stochastic multilevel multiset rewriting
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
A grid workflow language using high-level petri nets
PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
Qualitative petri net modelling of genetic networks
Transactions on Computational Systems Biology VI
Modeling and assessment of production printing workflows using petri nets
BPM'05 Proceedings of the 3rd international conference on Business Process Management
A deductive system for proving workflow models from operational procedures
Future Generation Computer Systems
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
Modeling TCG-Based secure systems with colored petri nets
INTRUST'10 Proceedings of the Second international conference on Trusted Systems
A security management information model derivation framework: from goals to configurations
FAST'05 Proceedings of the Third international conference on Formal Aspects in Security and Trust
Using timed colored petri nets and CPN-tool to model and verify TRBAC security policies
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Discovery of Asynchronous Concurrent Models from Experimental Tables
Fundamenta Informaticae - International Conference on Soft Computing and Distributed Processing (SCDP'2002)
A high-level toolkit for development of distributed scientific applications
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
An introduction to systems modeling and simulation with colored petri nets
Proceedings of the Winter Simulation Conference
The right timing: reflections on the modeling and analysis of time
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
| Hi-index | 0.00 |