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)
Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
ICSE '97 Proceedings of the 19th international conference on Software engineering
Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
Compositional verification of concurrent systems using Petri-net-based condensation rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
CCS '01 Proceedings of the 8th ACM conference on Computer and Communications Security
Behavior-consistent specialization of object life cycles
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Petri nets in cryptographic protocols
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Characterizing Timed Net Processes Categorically
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
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
General Morphisms of Petri Nets (Extended Abstract)
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Parameterized Net Classes: A Uniform Approach to Petri Net Classes
Unifying Petri Nets, Advances in Petri Nets
On Concurrent Realization of Reactive Systems and Their Morphisms
Unifying Petri Nets, Advances in Petri Nets
Transactions and Zero-Safe Nets
Unifying Petri Nets, Advances in Petri Nets
Formal and natural computing
ASYNC '96 Proceedings of the 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems
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
An axiomatization of the category of Petri net computations
Mathematical Structures in Computer Science
On the semantics of place/transition Petri nets
Mathematical Structures in Computer Science
Compositional semantics for open Petri nets based on deterministic processes
Mathematical Structures in Computer Science
Behaviour and Instantiation of High-Level Petri Net Processes
Fundamenta Informaticae
Unfolding semantics of graph transformation
Information and Computation
Trellis Processes: A Compact Representation for Runs of Concurrent Systems
Discrete Event Dynamic Systems
Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them
Discrete Event Dynamic Systems
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
Petri Nets, Discrete Physics, and Distributed Quantum Computation
Concurrency, Graphs and Models
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
Grammar Morphisms and Weakly Adhesive Categories
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Modular Construction of Finite and Complete Prefixes of Petri net Unfoldings
Fundamenta Informaticae - Application of Concurrency to System Design
Electronic Notes in Theoretical Computer Science (ENTCS)
Composing abstractions of coloured Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Unfolding-based diagnosis of systems with an evolving topology
Information and Computation
Vicinity respecting homomorphisms for abstracting system requirements
Transactions on Petri nets and other models of concurrency IV
On the construction of pullbacks for safe petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Efficient computation of causal behavioural profiles using structural decomposition
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Modular Construction of Finite and Complete Prefixes of Petri net Unfoldings
Fundamenta Informaticae - Application of Concurrency to System Design
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
Finite Completeness of Categories of Petri Nets
Fundamenta Informaticae
A Representation of Processes of Petri Nets by Matrices
Fundamenta Informaticae
Fundamenta Informaticae
Hi-index | 0.00 |