Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
Efficient verification using generalized partial order analysis
Proceedings of the conference on Design, automation and test in Europe
KRON: knowledge engineering approach based on the integration of CPNs with objects
Concurrent object-oriented programming and petri nets
Compositional Semantics of a Real-Time Prototyping Language
IEEE Transactions on Software Engineering
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
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
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Pr/T-Net Based Seamless Design of Embedded Real-Time Systems
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
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Analyzing interacting WS-BPEL processes using flexible model generation
Data & Knowledge Engineering
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
Electronic Notes in Theoretical Computer Science (ENTCS)
High-Level Petri Net Model Checking with AlPiNA
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Hi-index | 0.00 |