Timing analysis of cyclic concurrent programs
ICSE '89 Proceedings of the 11th international conference on Software engineering
A simple realization of a parallel device recognizing regular trace languages
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
On generation of state space for timed Petri nets
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
On Trace Assertion Method of Module Interface Specification with Concurrency
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
Modelling Concurrency with Quotient Monoids
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
A Petri net model for membrane systems with dynamic structure
Natural Computing: an international journal
Modelling concurrency with comtraces and generalized comtraces
Information and Computation
Towards a petri net semantics for membrane systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Petri nets with localities and testing
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Canonical transition set semantics for petri nets
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Fundamenta Informaticae
| Hi-index | 5.23 |