Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
Reachability in contextual nets
Fundamenta Informaticae
Partial order semantics and read arcs
Theoretical Computer Science
Bisimulation Equivalences for Graph Grammars
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
A Static Analysis Technique for Graph Transformation Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Partial S-Invariants for the Verification of Infinite Systems Families
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Bisimulation equivalences for graph grammars
Formal and natural computing
Domain and event structure semantics for Petri nets with read and inhibitor arcs
Theoretical Computer Science
Timed Petri nets and timed automata: On the discriminating power of zeno sequences
Information and Computation
Model and infrastructure for decentralized workflow enactment
Proceedings of the 2008 ACM symposium on Applied computing
Processes of Petri Nets with Range Testing
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Unfolding Graph Transformation Systems: Theory and Applications to Verification
Concurrency, Graphs and Models
Directed Unfolding of Petri Nets
Transactions on Petri Nets and Other Models of Concurrency I
McMillan's Complete Prefix for Contextual Nets
Transactions on Petri Nets and Other Models of Concurrency I
Using tuplespaces to enact petri net-based workflow definitions
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Tuplespace middleware for Petri net-based workflow execution
International Journal of Web and Grid Services
Workcraft: a static data flow structure editing, visualisation and analysis tool
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
A false history of true concurrency: from Petri to tools
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
On the computation of McMillan's prefix for contextual nets and graph grammars
ICGT'10 Proceedings of the 5th international conference on Graph transformations
An algorithm for direct construction of complete merged processes
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Construction and SAT-based verification of contextual unfoldings
DCFS'11 Proceedings of the 13th international conference on Descriptional complexity of formal systems
Efficient contextual unfolding
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Complete finite prefixes of symbolic unfoldings of safe time petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
On the concurrent semantics of algebraic graph grammars
Formal Methods in Software and Systems Modeling
Timed unfoldings for networks of timed automata
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Efficient unfolding of contextual Petri nets
Theoretical Computer Science
Processes of Petri Nets with Range Testing
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Reachability in Contextual Nets
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
Analyzing and Reducing Simultaneous Firing in Signal-Event Nets
Fundamenta Informaticae
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Symbolic unfolding of parametric stopwatch Petri nets
Formal Methods in System Design
Hi-index | 0.00 |