Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
IEEE Transactions on Software Engineering
KRON: knowledge engineering approach based on the integration of CPNs with objects
Concurrent object-oriented programming and petri nets
Object coloured Petri nets - a formal technique for object oriented modelling
Concurrent object-oriented programming and petri nets
Modelling the Structure and Behaviour of Petri Net Agents
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Higher-order petri net modelling: techniques and applications
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
A case study of coloured Petri nets in object-oriented analysis and design
Nordic Journal of Computing
Journal of Integrated Design & Process Science - Component-Based System Development
Safety Properties In Petri Net Modules
Journal of Integrated Design & Process Science
Modelling mobility and mobile agents using nets within nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Pattern based workflow design using reference nets
BPM'03 Proceedings of the 2003 international conference on Business process management
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP
Fundamenta Informaticae
Model-based testing approach for mobile agents using the paradigm of reference net
Multiagent and Grid Systems
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Symbolic semantics for the verification of security properties of mobile petri nets
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Causality in structured occurrence nets
Dependable and Historic Computing
Providing an agent flavored integration for workflow management
Transactions on Petri Nets and Other Models of Concurrency V
Petri nets for protocol engineering
Computer Communications
Regions of Petri nets with a/sync connections
Theoretical Computer Science
Unifying the semantics of modular extensions of petri nets
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Hi-index | 0.00 |