Characterizing Timed Net Processes Categorically
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
Model Checking of Time Petri Nets Based on Partial Order Semantics
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
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
Semantic domains of timed event structures
Programming and Computing Software
Theoretical Computer Science
Hierarchical timed high level nets and their branching processes
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Unifying behavioral equivalences of timed transition systems
Programming and Computing Software
Time supervision of concurrent systems using symbolic unfoldings of time petri nets
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
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
Hi-index | 0.00 |