Information system behavior specification by high level Petri nets
ACM Transactions on Information Systems (TOIS)
Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
A Formal Specification Framework for Object-Oriented Distributed Systems
IEEE Transactions on Software Engineering
Object-oriented nets with algebraic specifications: the CO-OPN/2 formalism
Concurrent object-oriented programming and petri nets
CLOWN as a testbed for concurrent object-oriented concepts
Concurrent object-oriented programming and petri nets
KRON: knowledge engineering approach based on the integration of CPNs with objects
Concurrent object-oriented programming and petri nets
A component-based Petri net model for specifying and validating cooperative information systems
Data & Knowledge Engineering
Compositional Semantics of a Real-Time Prototyping Language
IEEE Transactions on Software Engineering
On the Compatibility of Model and Model-Class Transformations
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop)
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
ESTL: A Temporal Logic for Events and States
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Parameterized Net Classes: A Uniform Approach to Petri Net Classes
Unifying Petri Nets, Advances in Petri Nets
The »Petri Net Baukasten«: An Overview
Unifying Petri Nets, Advances in Petri Nets
Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«
Unifying Petri Nets, Advances in Petri Nets
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Development of an International Standard for High-level Petri Nets
ISESS '97 Proceedings of the 3rd International Software Engineering Standards Symposium (ISESS '97)
Revisiting the algebra of Petri net processes under the collective token philosophy
Fundamenta Informaticae - Concurrency specification and programming
Prototyping and formal analysis of concurrent and distributed systems
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
Towards a Standard for Modular Petri Nets: A Formalisation
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Hornets: Nets within Nets Combined with Net Algebra
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Efficient state-based analysis by introducing bags in Petri nets color domains
ACC'09 Proceedings of the 2009 conference on American Control Conference
Electronic Notes in Theoretical Computer Science (ENTCS)
Pattern based workflow design using reference nets
BPM'03 Proceedings of the 2003 international conference on Business process management
A feature-complete Petri net semantics for WS-BPEL 2.0
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Service Oriented Computing and Applications
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Reference and value semantics are equivalent for ordinary object petri nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
AlPiNA: a symbolic model checker
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
A virtual deployment testing environment for enterprise software systems
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
High-Level Petri Net Model Checking with AlPiNA
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Modelling of communication platforms using algebraic high-level nets and their processes
Software Service and Application Engineering
Data and abstraction for scenario-based modeling with petri nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool
Fundamenta Informaticae
Finding Symmetries of Algebraic System Nets
Fundamenta Informaticae
Integrating Distributed Algorithms into Distributed Systems
Fundamenta Informaticae
A Petri net model for changing units of learning in runtime
Knowledge-Based Systems
Complexity results for elementary hornets
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
On the Complexity of the Reachability Problem for Safe, Elementary Hornets
Fundamenta Informaticae - Dedicated to the Memory of Professor Manfred Kudlek
Hi-index | 5.23 |