Object oriented modelling with object petri nets
Concurrent object-oriented programming and petri nets
Concurrency in communicating object petri nets
Concurrent object-oriented programming and petri nets
Object orientation in hierarchical predicate transition nets
Concurrent object-oriented programming and petri nets
Concurrent object-oriented programming and petri nets
Modeling a library with THORNs
Concurrent object-oriented programming and petri nets
Inheritance of dynamic behavior
Concurrent object-oriented programming and petri nets
Control properties in object-oriented specifications
Concurrent object-oriented programming and petri nets
Petri net script: a visual language for describing action, behaviour and plot
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
Integrated architectural modeling and analysis for high-assurance command and control system design
Annals of Software Engineering
A Model to Evaluate the Effect of Organizational Adaptation
Computational & Mathematical Organization Theory
A component-based Petri net model for specifying and validating cooperative information systems
Data & Knowledge Engineering
Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach
COMPSAC '00 24th International Computer Software and Applications Conference
Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
A Systematic Approach towards Object-Based Petri Net Formalisms
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
A Net-Based Multi-tier Behavior Inheritance Modelling Method
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
PN2: An Elementary Model for Design and Analysis of Multi-agent Systems
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Petri Nets as Token Objects: An Introduction to Elementary Object Nets
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Techniques for Modeling Workflows and Their Support of Reuse
Business Process Management, Models, Techniques, and Empirical Studies
Some Decidability Results for Nested Petri Nets
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Synergy: A Conceptual Graph Activation-Based Language
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
RSP '96 Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96)
An Analysis of the Design Constructs Required in Process Modelling
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
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
Some considerations on higher-order Petri nets
Fundamenta Informaticae - Concurrency specification and programming
Modelling of batch production systems using Petri nets with dynamic tokens
Mathematics and Computers in Simulation
From team plan to individual plans: a petri net-based approach
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Normalized workflow net (NWF-net): its definition and properties
Future Generation Computer Systems
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Checking Properties of Adaptive Workflow Nets
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Performance Analysis of IEEE 802.11b Wireless Networks with Object Oriented Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Normalized workflow net (NWF-net): Its definition and properties
Future Generation Computer Systems
Nested Petri nets for adaptive process modeling
Pillars of computer science
State space exploration of object-based systems using equivalence reduction and the sweepline method
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Translation of nets within nets in cross-organizational software process modeling
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Nested nets for adaptive systems
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
EXHOST-PIPE: PIPE extended for two classes of monitoring Petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
A distributed implementation of mobile nets as mobile agents
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Petri nets for protocol engineering
Computer Communications
Checking Properties of Adaptive Workflow Nets
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Some Considerations on Higher-Order Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Proceedings of the 2012 workshop on Domain-specific modeling
Hi-index | 0.00 |