Compositional reachability analysis using process algebra
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Graph models for reachability analysis of concurrent programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
Functorial models for petri nets
Information and Computation
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Compositional SOS and beyond: a coalgebraic view of open systems
Theoretical Computer Science
Comparing logics for rewriting: rewriting logic, action calculi and tile logic
Theoretical Computer Science - Rewriting logic and its applications
Specification of real-time and hybrid systems in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Relaxed models for rewriting logic
Theoretical Computer Science
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
Characterizing Timed Net Processes Categorically
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
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
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
A Comparison of Petri Net Semantics under the Collective Token Philosophy
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
General Morphisms of Petri Nets (Extended Abstract)
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Algebraic Models for Contextual Nets
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
A Static Analysis Technique for Graph Transformation Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Compositional Modeling of Reactive Systems Using Open Nets
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
On Semantics of Petri Nets over Partial Algebra
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
Approximating the Behaviour of Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Reasoning about Algebraic Generalisation of Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time
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
Two Algebraic Process Semantics for Contextual Nets
Unifying Petri Nets, Advances in Petri Nets
The »Petri Net Baukasten«: An Overview
Unifying Petri Nets, Advances in Petri Nets
Petri Nets over Partial Algebra
Unifying Petri Nets, Advances in Petri Nets
Generalized Automata and Their Net Representations
Unifying Petri Nets, Advances in Petri Nets
On Concurrent Realization of Reactive Systems and Their Morphisms
Unifying Petri Nets, Advances in Petri Nets
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs
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
Tile Transition Systems as Structured Coalgebras
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Transactions and Zero-Safe Nets
Unifying Petri Nets, Advances in Petri Nets
Formal and natural computing
Higher Dimensional Transition Systems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Analysis and simulation of Web services
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Revisiting the algebra of Petri net processes under the collective token philosophy
Fundamenta Informaticae - Concurrency specification and programming
Concurrency in mobile object net systems
Fundamenta Informaticae - Concurrency specification and programming
Hypergraph construction and its application to the static analysis of concurrent systems
Mathematical Structures in Computer Science
An axiomatization of the category of Petri net computations
Mathematical Structures in Computer Science
Categorical logic of names and abstraction in action calculi
Mathematical Structures in Computer Science
Categorical logic of names and abstraction in action calculi
Mathematical Structures in Computer Science
On the semantics of place/transition Petri nets
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Concurrent models for Linda with transactions
Mathematical Structures in Computer Science
Compositional semantics for open Petri nets based on deterministic processes
Mathematical Structures in Computer Science
Axioms for bigraphical structure
Mathematical Structures in Computer Science
Nautilus, a Concurrent Diagrammatic Specification and Programming Language
The Journal of Supercomputing
Behaviour and Instantiation of High-Level Petri Net Processes
Fundamenta Informaticae
Applying algebraic approaches for modeling workflows and their transformations in mobile networks
Mobile Information Systems
A regular viewpoint on processes and algebra
Acta Cybernetica
Unfolding semantics of graph transformation
Information and Computation
Control Synthesis For Discrete Event Systems: A Semantic Framework Based On Open Petri Nets
Journal of Integrated Design & Process Science - Component-Based System Development
A Transformation-Based Component Framework For A Generic Integrated Modeling Technique
Journal of Integrated Design & Process Science - Component-Based System Development
Journal of Integrated Design & Process Science - Component-Based System Development
Incremental construction of coverability graphs
Information Processing Letters
Electronic Notes in Theoretical Computer Science (ENTCS)
Safety Properties In Petri Net Modules
Journal of Integrated Design & Process Science
Semantics of petri nets: a comparison
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
An Axiomatization of the Token Game Based on Petri Algebras
Fundamenta Informaticae
On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
A framework for the verification of infinite-state graph transformation systems
Information and Computation
Transformations in Reconfigurable Place/Transition Systems
Concurrency, Graphs and Models
Models of Computation: A Tribute to Ugo Montanari's Vision
Concurrency, Graphs and Models
Petri Nets, Discrete Physics, and Distributed Quantum Computation
Concurrency, Graphs and Models
Calculating Colimits Compositionally
Concurrency, Graphs and Models
Concurrency, Graphs and Models
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Coordination: Reo, Nets, and Logic
Formal Methods for Components and Objects
Linear Properties of Zero-Safe Nets with Debit Tokens
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Towards Component Verification in the Generic Component Framework
Electronic Notes in Theoretical Computer Science (ENTCS)
Composition and Independence of High-Level Net Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Unifying Petri Net Semantics with Token Flows
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
On the Expressiveness of Communication Channels for Object Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Electronic Notes in Theoretical Computer Science (ENTCS)
Process semantics of Petri nets over partial algebra
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Composing abstractions of coloured Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Nets enriched over closed monoidal structures
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
On synchronicity and concurrency in Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Independence of net transformations and token firing in reconfigurable place/transition systems
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Multiset rewriting: a semantic framework for concurrency with name binding
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Vicinity respecting homomorphisms for abstracting system requirements
Transactions on Petri nets and other models of concurrency IV
Probabilistic real-time rewrite theories and their expressive power
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
On categories of fuzzy petri nets
Advances in Fuzzy Systems
Functorial semantics of rewrite theories
Formal Methods in Software and Systems Modeling
Formal Methods in Software and Systems Modeling
Computation of partial automata through span composition
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
Composing transitions into transactions in UML diagrams
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
High-level nets with nets and rules as tokens
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
A new strategy for distributed compensations with interruption in long-running transactions
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Modelling of communication platforms using algebraic high-level nets and their processes
Software Service and Application Engineering
On the Expressiveness of Communication Channels for Object Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Linear Properties of Zero-Safe Nets with Debit Tokens
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
An Axiomatization of the Token Game Based on Petri Algebras
Fundamenta Informaticae
On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Behaviour and Instantiation of High-Level Petri Net Processes
Fundamenta Informaticae
Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Concurrency in Mobile Object Net Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Finite Completeness of Categories of Petri Nets
Fundamenta Informaticae
Fundamenta Informaticae
Fundamenta Informaticae
Combining Ccs And Petri Nets Via Structural Axioms
Fundamenta Informaticae
Hi-index | 0.00 |